• Clément Fumex's avatar
    + remove a few wrong axioms · 9a94aeb8
    Clément Fumex authored
    + simplify some others
    + add a realization of real.Truncate
    + add a, almost complete, realization (missing fma related axioms + some non-axiomatized definitions)
    9a94aeb8
Makefile.in 67.5 KB