Linking pages
Linked pages
- Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/ 117 comments
- Zermelo–Fraenkel set theory - Wikipedia https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory 0 comments
- Logical Foundations https://softwarefoundations.cis.upenn.edu/lf-current/index.html 0 comments
- Homepage for Mtac and Mtac2 http://plv.mpi-sws.org/mtac/ 0 comments
Related searches:
Search whole site: site:kuruczgy.com
Search title: Theorem proving in Coq
See how to search.