Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol4
IntervalValidationScript.sml
Find file
Blame
History
Permalink
Simplify some proofs in Coq and IV validation for expression to new semantics in HOL4
· ab9414fc
Heiko Becker
authored
Mar 03, 2017
ab9414fc