VinayaSathyanarayana/jscoq
A port of Coq to Javascript -- Run Coq in your Browser
JavaScriptNOASSERTION
Stargazers
No one’s star this repository yet.
A port of Coq to Javascript -- Run Coq in your Browser
JavaScriptNOASSERTION
No one’s star this repository yet.