Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
CertificateChecker.v
Find file
Blame
History
Permalink
Fix CertificateChecker such that it suffices to require import this file in Coq
· 935df721
Heiko Becker
authored
Sep 18, 2016
935df721