2La chaleur
2Répondre
Prouver quelques lois de monade sur une monade d'erreur J'ai écrit
-1La chaleur
1Répondre
partition des nombres naturels dans les jeux
0La chaleur
1Répondre
Comment prouver une combinaison de notations asymptotiques?
0La chaleur
2Répondre
Propositionnel Logic et Proofs
2La chaleur
3Répondre
Prouvez que n! n'est pas dans O (n^p) pour un nombre naturel constant p
0La chaleur
1Répondre
Aide à l'inférence de type dans OCaml