siegebell/jscoq

A port of Coq to Javascript -- Run Coq in your Browser

OCamlNOASSERTION