A port of Coq to Javascript -- Run Coq in your Browser
Why do you think that https://github.com/angular/angular is a good alternative to jscoq
A port of Coq to Javascript -- Run Coq in your Browser
Why do you think that https://github.com/angular/angular is a good alternative to jscoq