Hacker News new | ask | show | jobs
JsCoq – Coq Proof assistant running in a browser (x80.org)
1 points by FredericJ 3664 days ago