Skip to content
GitLab
Explore
Sign in
Register
Julien Lepiller
coquille
Issues
#3
Detect and support more than one version
Detect whether coq is installed
Detect what version of coq is running (add CoqVersion function)
Adapt the protocol to coq's version
Edited
May 01, 2019
by
Julien Lepiller