A port of Coq to Javascript -- Run Coq in your Browser
Why do you think that https://github.com/julia-vscode/julia-vscode 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/julia-vscode/julia-vscode is a good alternative to jscoq