/jscoq

A port of Coq to Javascript -- Run Coq in your Browser

Primary LanguageJavaScriptOtherNOASSERTION

Stargazers