wacoq (npm): A port of Coq to WebAssembly -- run Coq in your browser
Keywords: coq|integrated-development-environment|javascript|proof-assistant