Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
examples
Compute.v
Find file
Blame
History
Permalink
Ensure compatibility with Coq 8.5.
· eaa9655d
Guillaume Melquiond
authored
Sep 11, 2015
eaa9655d