JsCoq – Coq Proof assistant running in a browser #1 Post by FredericJ » Wed, Jun 08, 2016, 1:49 PM UTC JsCoq – Coq Proof assistant running in a browserx80.org