Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authoredI have done a quick pass and tried to tidy the readme up a bit. Please don't hesitate to further refine.
Emilio Jesus Gallego Arias authoredI have done a quick pass and tried to tidy the readme up a bit. Please don't hesitate to further refine.