0La chaleur
2Répondre
1La chaleur
1Répondre
Définition de la fonction récursive en coq avec limite sur l'ensemble des entrées possibles
2La chaleur
2Répondre
Recherche récursive dans une liste dans Coq
3La chaleur
1Répondre
Comment puis-je raisonner sur les conditionnels dans Coq?
7La chaleur
2Répondre
Qu'est-ce qu'un constructeur dans Coq?
2La chaleur
1Répondre
Quels sont les moyens (a: b) c et [a: b] c dans certaines théories Coq et où est-il défini?
14La chaleur
2Répondre
Que signifie V dans l'extension de fichier Coq?
4La chaleur
1Répondre
Comportement impair de setoid_rewrite dans Coq
5La chaleur
1Répondre
Comportement incohérent de Coq concernant les paramètres implicites de Laisser définitions