Why3 Proof Results for Project "functions"

Theory "functions.Injective": fully verified

ObligationsAlt-Ergo 2.4.0CVC4 1.6Z3 4.7.1
Injec0.00------
Surjec0.000.030.03