A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
47,133 repositories indexed
1–4 of 4 · Most stars
A port of Coq to Javascript -- Run Coq in your Browser
A Coq IDE build on top of Proof General's Coq mode
Interactive Coq Proofs in Vim
Select OCaml opam switches via a menu or using a command