1La chaleur
1Répondre
Comment utiliser des faits évidents dans les preuves Agda avec "avec"?
2La chaleur
1Répondre
3La chaleur
1Répondre
Montrer qu'il est indécidable qu'un LBA déterministe accepte un nombre infini d'entrées
1La chaleur
1Répondre
Preuve de la relation entre les nœuds (n) et la hauteur (h) de Binary Arbre complet
4La chaleur
2Répondre
Utilisation de la valeur d'une fonction calculée pour une preuve agda
1La chaleur
1Répondre
insertion double négation dans agda
2La chaleur
1Répondre
Comment fonctionne la fonction d'inspection d'agda?