1La chaleur
1Répondre
Méthode canonique pour obtenir un lemme plus spécifique
4La chaleur
3Répondre
preuve (règle disjE) pour disjunction imbriquée
4La chaleur
1Répondre
Comment afficher les parenthèses autour des hypothèses dans Isabelle/jEdit?
4La chaleur
1Répondre
Comment masquer des constantes définies
1La chaleur
2Répondre
Suppression d'une variable dans un objectif dans le style d'application
1La chaleur
2Répondre
Levée d'une définition partielle en un type de quotient