Linking pages
- GitHub - jwiegley/category-theory: An axiom-free formalization of category theory in Coq for personal study and practical work https://github.com/jwiegley/category-theory 43 comments
- Agda vs. Coq vs. Idris | Meta-cedille blog https://whatisrt.github.io/dependent-types/2020/02/18/agda-vs-coq-vs-idris.html 37 comments
- GitHub - ejgallego/jscoq: A port of Coq to Javascript -- Run Coq in your Browser https://github.com/ejgallego/jscoq 15 comments
- GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - mattam82/Coq-Equations: A function definition package for Coq
See how to search.