1La chaleur
1Répondre
Définir une 'tête' pour un flux de type coinductif dans Coq (sans appariement de formes)
0La chaleur
1Répondre
2La chaleur
1Répondre
principes CoInductive correspondant à la famille * de _rect des fonctions
2La chaleur
1Répondre
6La chaleur
1Répondre
Problème de compréhension de la Coinduction d'Agda
2La chaleur
1Répondre
Coinduction sur Coq, type mismatch
1La chaleur
1Répondre
Prouver un principe de coinduction pour les nombres co-naturels
3La chaleur
1Répondre
Prouver une propriété co-inductive (l'ordre lexical est transitif) dans Coq
2La chaleur
1Répondre
Calcul de l'arborescence infinie à partir de chemins enracinés à l'aide de la modalité de délai
2La chaleur
1Répondre
Laissez-lier les résultats intermédiaires dans monade IO