Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol
ErrorValidation.hl
Find file
Blame
History
Permalink
Fix some minor Coq Bugs and prove checker soundness in HOL-Light
· 8563f301
Heiko Becker
authored
Sep 13, 2016
8563f301