1La chaleur
1Répondre
Quelle est la syntaxe à utiliser Map.thy
1La chaleur
1Répondre
1La chaleur
1Répondre
Simplifier les hypothèses quantifiées méta-universellement avec égalité
0La chaleur
1Répondre
Locale importation deux classes
1La chaleur
1Répondre
Qu'est-ce que (*> *) dans Isabelle?
0La chaleur
1Répondre
mis intégrable avec la multiplication des fonctions
0La chaleur
1Répondre
Fonction de quantification des listes: syntaxe et erreur de type (Isabelle)
1La chaleur
1Répondre
Prouver un théorème sur les combinateurs d'analyseurs
0La chaleur
1Répondre
ajoutant manuellement une hypothèse à la simplificateur (Isabelle)