6La chaleur
1Répondre
Problème de compréhension de la Coinduction d'Agda
1La chaleur
1Répondre
agda retourne l'index de nombre pair de la liste
1La chaleur
1Répondre
Levage d'un type vers un univers supérieur
17La chaleur
1Répondre
permutation prouvablement correcte en moins de O (n^2)
2La chaleur
1Répondre
Agda: adhésion de vecteur dans Stdlib? (Et comment apprendre stdlib en général)
1La chaleur
2Répondre
Substituer égal terme en matière d'égalité preuve
0La chaleur
1Répondre
prouve un théorème dans agda. Erreur: devrait être un type de fonction, mais n'est pas
3La chaleur
1Répondre
Comprendre unquoteDecl dans Agda
3La chaleur
2Répondre
Implicits non pertinents: Pourquoi AGDA ne déduit-il pas cette preuve?
1La chaleur
1Répondre
Agda: Retour tête et queue de la liste vide