JsCoq – Coq Proof assistant running in a browserx80.org1 point·FredericJ··0 commentsOpen articleSaveView on HN