• Clément Fumex's avatar
    + remove unused constant half · 5a44ec01
    Clément Fumex authored
    + add predicate "exact_int"
    + add three axioms on of_int +/-/*
    + add some other axioms
    + guard the theory realization with a dependency to flocq in make file
    5a44ec01
Makefile.in 67.5 KB