0La chaleur
1Répondre
1La chaleur
1Répondre
Coq: importer des informations sur les instances
4La chaleur
2Répondre
Coq: destruct (co) hypothèse inductive sans perte d'information
0La chaleur
1Répondre
Automatisation des ssreflect, Coq tout en traitant des hypothèses contredite sur les chiffres nat
0La chaleur
1Répondre
Coq: réécriture hypothèse d'entrée préservant
1La chaleur
1Répondre
constructeurs Proving sont des fonctions partielles en Coq
2La chaleur
1Répondre
Prouver iota croissant dans Coq
3La chaleur
1Répondre
Que fait le système de type Coq dans cet exemple?
3La chaleur
1Répondre
Prouver l'isomorphisme entre l'égalité de Martin-Lof et l'induction de chemin dans Coq
1La chaleur
1Répondre
Coq: Proposition sur le contenu d'un ensemble