Hacker News
- Blog post: Untangling mechanized proofs https://plv.csail.mit.edu/blog/alectryon.html 2 comments coq
Linked pages
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- Software Foundations https://softwarefoundations.cis.upenn.edu/ 61 comments
- Static Site Generator | Nikola https://getnikola.com/ 31 comments
- Home | Read the Docs https://readthedocs.org/ 0 comments
- Use Coq in Your Browser: The Js Coq Theorem Prover Online IDE! https://x80.org/rhino-coq/ 0 comments
Related searches:
Search whole site: site:plv.csail.mit.edu
Search title: PLV@MIT – Untangling mechanized proofs
See how to search.