Tag : coq
[Résolu]
Preuves avec propriétés inductives
Par lthms - Vendredi 26 juin 2015 à 11h42 26/06/15 à 11h4222 messages
Dernière réponse
Mercredi 15 juillet 2015 à 23h03
15/07/15 à 23h03