ejgallego/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
107 best points · 15 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub
Hacker News discussions
- JsCoq (107 points, 15 comments, by colinprince, 2015-07-06)
A port of Coq to Javascript -- Run Coq in your Browser
107 best points · 15 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub