Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authoredAdded a link to Coq in "settings". The top-left link now points to jsCoq's homepage instead. Landing-page CSS moved to a separate file.
Shachar Itzhaky authoredAdded a link to Coq in "settings". The top-left link now points to jsCoq's homepage instead. Landing-page CSS moved to a separate file.