Forked from
David Hamelin / jscoq-light
Source project has a limited visibility.
-
Shachar Itzhaky authoredClose on clickaway & also toggle company-coq pretty-printing of goals when setting `Enable company-coq`.
Shachar Itzhaky authoredClose on clickaway & also toggle company-coq pretty-printing of goals when setting `Enable company-coq`.