Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Emilio Jesus Gallego Arias authored
This seems needed for Coq 8.12
Emilio Jesus Gallego Arias authoredThis seems needed for Coq 8.12
This seems needed for Coq 8.12