2La chaleur
2Répondre
Dans Coq, pourquoi utiliser Atom et comment le construire?
5La chaleur
1Répondre
Division euclidienne sur les naturels dans le coq
6La chaleur
1Répondre
0La chaleur
2Répondre
Comment donner un contre-exemple en Coq?
2La chaleur
1Répondre
prendre le premier type dans la liste des tuple
0La chaleur
1Répondre
Utilisation de la "symétrie" dans les expressions Coq
5La chaleur
1Répondre