Commit 960f5ab

committed

some progress with the interval to sinterval proof

1 parent a4fbe47 commit 960f5abCopy full SHA for 960f5ab

2 files changed

+925

-235

lines changed

hol
- table_arith_to_intervalScript.sml
- table_bs_propertiesScript.sml

2 files changed

+925

-235

lines changed

Comments

(0)