-
Clément Fumex authored
+ add axioms linking eb, sb, emax and pow2sb and clone them as goal in Float(32/64) + modify section dealing with integers + update realisation
56ac17d0
+ add axioms linking eb, sb, emax and pow2sb and clone them as goal in Float(32/64) + modify section dealing with integers + update realisation