top | item 29729599 (no title) liups | 4 years ago Cool work.I wonder if contemporary proof assistants have enough primitives to implement this. discuss order hn newest No comments yet.
No comments yet.