Reviews
A port of Coq to Javascript -- Run Coq in your Browser
Search similar apps
License
Other
A port of Coq to Javascript -- Run Coq in your Browser
Creator
Related apps
pycoq
Python bindings for the Coq interactive proof assistant
OCaml48
2 years ago
coqmachine-learningpython
coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
OCaml109lgpl-2.1
5 months ago
coqideinteractive-theorem-proving
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
OCaml116other
5 months ago
coqjsonmachine-learning-api