Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
mpri-2.4-public
Repository
mpri-2.4-public
coq
Makefile
Find file
Blame
History
Permalink
Update the Coq files to Coq 8.12.
· 702edff2
POTTIER Francois
authored
Nov 13, 2020
702edff2