0La chaleur
1Répondre
prouver l'exactitude d'un programme
0La chaleur
1Répondre
Preuve de l'existence de la factorisation en nombres premiers (Educational)
0La chaleur
1Répondre
Démonstration du théorème de Gauss pour nat dans Coq
0La chaleur
1Répondre
Comment prouver cette déduction naturelle?
0La chaleur
1Répondre
Impossible de réécrire sous-terme en Coq
1La chaleur
2Répondre
1La chaleur
1Répondre
Pouvez-vous réduire K-Independent Set à 2-SAT
-2La chaleur
1Répondre