1La chaleur
1Répondre
Améliorer algorithme récursif pour les produits finis de nombres premiers
1La chaleur
1Répondre
Induction sur les listes - Prouver une propriété plus forte (Haskell)
0La chaleur
1Répondre
décimal en binaire - induction
2La chaleur
1Répondre
Dafny méthode d'insertion, une postcondition ne peut pas tenir sur ce chemin de retour
1La chaleur
1Répondre
Vérification d'une méthode Dafny qui déplace une région d'un tableau
1La chaleur
1Répondre
complexité recherche utilisant l'induction
0La chaleur
1Répondre
Récurrence Relations par méthode de substitution?
1La chaleur
2Répondre
Démontrer "rev (rev l) = l" dans Coq