Mentions légales du service

Skip to content
  • François Bobot's avatar
    Ajout d'un exemple · 2c9cd6ad
    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