3La chaleur
1Répondre
Terminaison implique l'existence de la forme normale
2La chaleur
1Répondre
induction structurelle pour multivoies (rose) arbres
4La chaleur
2Répondre
Comment mentira d'hypothèses contradictoires évidemment
1La chaleur
1Répondre
Application hypotesis à une variable
4La chaleur
3Répondre
Comment pourrais-je prouver que b = c si (andb b c = orb b c) dans coq?
0La chaleur
1Répondre
Prouve n^2 + 5 log (n) = O (n^2)
2La chaleur
1Répondre
Prouver à Agda que nous parlons de la même chose
2La chaleur
1Répondre
Algorithme récursif pour les paires de parenthèses
0La chaleur
1Répondre
7La chaleur
1Répondre
Montrer la carte id = id dans idris?