12La chaleur
1Répondre
2La chaleur
2Répondre
Quelle bibliothèque de vecteurs utiliser dans coq?
-1La chaleur
2Répondre
Comment prouver P2 en utilisant une preuve logique?
1La chaleur
2Répondre
Prouver que f (n) = o (g (n)) implique 2^f (n) = o (2^g (n))
1La chaleur
1Répondre
-1La chaleur
2Répondre
Comment configurer une preuve inductive en haskell?
2La chaleur
1Répondre
Agda: adhésion de vecteur dans Stdlib? (Et comment apprendre stdlib en général)
1La chaleur
1Répondre
0La chaleur
1Répondre
donne la preuve mathématique de l'algorithme de calcul Racine carrée
1La chaleur
1Répondre