Hacker News new | ask | show | jobs
by liups 1634 days ago
Cool work.

I wonder if contemporary proof assistants have enough primitives to implement this.