1La chaleur
1Répondre
Coq:. Simplifier (negb (neqb vrai) à true en utilisant "Transforme" ou "appliquer"
1La chaleur
1Répondre
Coq: Comment remplacer des termes tels que "n + 1" par "S n"?
0La chaleur
1Répondre
Comment appliquer une réécriture sur le côté droit d'un conditionnel sans le diviser?
0La chaleur
2Répondre
Comment prouver l'unicité d'une fonction dans Coq étant donné une spécification?
3La chaleur
2Répondre
Coq: Supprimer toutes les parenthèses (imbriquées) d'une somme
2La chaleur
1Répondre
Réduction des termes avec correction. (Coq)
5La chaleur
2Répondre
langue la preuve mathématique de Coq: Réécriture si l'état
1La chaleur
1Répondre
Comment imprimer tous les symboles définis dans Coq?
2La chaleur
1Répondre
Dans coq, comment faire des preuves impliquant sommations et moyens?