Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authored
Also, support for importing legacy `_CoqProject` definitions.
Shachar Itzhaky authoredAlso, support for importing legacy `_CoqProject` definitions.