Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
coqBackend.ml
Find file
Blame
History
Permalink
Make optional the version check for the Coq backend
· 70ddd069
Jacques-Henri Jourdan
authored
Feb 25, 2019
70ddd069