0La chaleur
2Répondre
Combien de fois cette fonction récursive itérée?
4La chaleur
1Répondre
comment prouver le théorème 3.5.4 dans "Types et langages de programmation" en utilisant Coq?
-1La chaleur
2Répondre
Comment obtenir la complexité avec la division?
0La chaleur
1Répondre
résoudre le recurrance par la méthode de substitution
3La chaleur
1Répondre
0La chaleur
2Répondre
0La chaleur
1Répondre
Prooving par induction qu'une fonction est appelée n-1 fois
2La chaleur
2Répondre
Idris - réécriture dans le théorème simple, la preuve
2La chaleur
1Répondre
Coinduction sur Coq, type mismatch
1La chaleur
1Répondre
Coq ne génère pas l'hypothèse d'induction