Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
GNUmakefile
Find file
Blame
History
Permalink
Fix Coq backend for new validator, check version in Coq parsers.
· cc4aaa06
Jacques-Henri Jourdan
authored
Feb 21, 2019
cc4aaa06