Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol4
IntervalArithScript.sml
Find file
Blame
History
Permalink
Prove soundness of IV validator until binary case, fix flaw in evaluation as done in Coq dev
· a9319f14
Heiko Becker
authored
Jan 06, 2017
a9319f14