0La chaleur
1Répondre
Proof moins de et inférieur ou égal à nat
0La chaleur
1Répondre
2La chaleur
1Répondre
Utiliser coq, essayer de prouver un lemme simple sur les arbres
3La chaleur
1Répondre
Existe-t-il des lois d'opérateur bit à bit?
1La chaleur
2Répondre
Est-il théoriquement possible de concevoir un système matériel/logiciel prouvable?