-
François Bobot authored
meilleur version : prouvé dans why2 par simplify (<1s) Z3 (monoinst) et alt-ergo sauf la po5 en moins de 100s
3d08e5a7
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
meilleur version : prouvé dans why2 par simplify (<1s) Z3 (monoinst) et alt-ergo sauf la po5 en moins de 100s