2La chaleur
1Répondre
Limitations de recherche d'instance
3La chaleur
1Répondre
Prouver m ≤ n -> k ≤ l -> m + k ≤ n + l dans Agda
2La chaleur
1Répondre
Comment peut-on définir un type d'opérations binaires symétriques dans Agda?
1La chaleur
2Répondre
Comment éviter (inutile?) L'utilisation répétitive des axiomes dans Agda?
2La chaleur
1Répondre
1La chaleur
2Répondre
2La chaleur
1Répondre
Accéder à l'élément de Stream dans agda
3La chaleur
1Répondre
Agda: Former toutes les paires {(x, y) | x dans xs, y dans ys}
2La chaleur
1Répondre
Prouver à Agda que nous parlons de la même chose