Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
Checker_extraction.v
Find file
Blame
History
Permalink
Fix Coq 8.7.2 compatobility
· ff37cc07
Heiko Becker
authored
May 10, 2018
ff37cc07