2La chaleur
2Répondre
Coq: Démontrer l'égalité de deux fonctions factorielles en utilisant l'induction
6La chaleur
1Répondre
La référence "X" n'a pas été trouvée dans l'environnement actuel
3La chaleur
2Répondre
Coq ne peut pas discriminer entre les constructeurs de proposition inductive dépendamment typée
1La chaleur
1Répondre
Pourquoi une épreuve avec des points-virgules ne fonctionne-t-elle pas avec des points?
3La chaleur
1Répondre
Comment puis-je réécrire "+ 1" (plus un) à "S" (succ) dans Coq?
3La chaleur
2Répondre
Comment fonctionne Structures avec héritage (:>) dans Coq?
1La chaleur
1Répondre
preuve sur les permutations avec assistant de preuve Coq
2La chaleur
1Répondre
Combinaison de deux hypothèses Coq
3La chaleur
1Répondre
Utilisation de "red in | - *": Que signifie "barre d'égalité"?
1La chaleur
1Répondre
mathématiques classes: Prouver que Munit est sa propre négation