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