0La chaleur
2Répondre
Comment puis-je implémenter une tactique coq qui répète les hypothèses?
0La chaleur
1Répondre
Modification intelligente de l'environnement Coq
0La chaleur
1Répondre
0La chaleur
1Répondre
Coq débutant - Prouver un lemme de base
3La chaleur
1Répondre
Preuve qui fait référence à la conclusion d'une preuve précédente en Coq
1La chaleur
1Répondre
2La chaleur
1Répondre
Proof on booleans, false = true
1La chaleur
1Répondre
Comparaison lexicographique des tuples de nats
3La chaleur
1Répondre
Est-il possible d'implémenter une tactique Coq qui inspecte un HintDb? Si c'est le cas, comment?
2La chaleur
1Répondre