discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Untangling Mechanized Proofs
https://plv.csail.mit.edu/blog/alectryon.html
13 comments
19/11/2020
Reddit
Blog post: Untangling mechanized proofs
https://plv.csail.mit.edu/blog/alectryon.html
2 comments
15/11/2020
coq