Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol4
output
Holmakefile
Find file
Blame
History
Permalink
Fix bug in HOL4 certificates and add more testcases for formal development
· 1869fcc2
Heiko Becker
authored
Mar 10, 2017
1869fcc2