-
François Bobot authored
Ajout d'un exemple contenant polymorphisme, predicats, inductifs qui est prouvé instantanément par simplify mais bcp plus long avec les autres. Peut-on simplifier le but pour améliorer cela?
2c9cd6ad
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
Ajout d'un exemple contenant polymorphisme, predicats, inductifs qui est prouvé instantanément par simplify mais bcp plus long avec les autres. Peut-on simplifier le but pour améliorer cela?