Hacker News
Linking pages
Linked pages
- Stack Overflow - Where Developers Learn, Share, & Build Careers https://stackoverflow.com 20781 comments
- Hastebin http://hastebin.com 151 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- CodeMirror https://codemirror.net/ 41 comments
- https://jscoq.github.io/ 41 comments
- Mathematical Components (the book) https://math-comp.github.io/mcb/ 5 comments
- Coq - The Coq proof assistant user and developer forum. https://coq.discourse.group/ 1 comment
- GitHub - mattam82/Coq-Equations: A function definition package for Coq http://github.com/mattam82/Coq-Equations 1 comment
- Coq Winter School 2017-2018 (SSReflect & MathComp) – Marelle https://team.inria.fr/marelle/en/coq-winter-school-2017-2018-ssreflect-mathcomp/ 0 comments
- GitHub - math-comp/wiki: general wiki of the math-comp organization https://github.com/math-comp/wiki/wiki/tutorial-itp2016 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - ejgallego/jscoq: A port of Coq to Javascript -- Run Coq in your Browser
See how to search.