0La chaleur
1Répondre
Comment prouver une hypothèse compte tenu de sa conclusion de la déclaration inductive?
1La chaleur
1Répondre
libisabelle avec l'installation Isabelle existante
1La chaleur
1Répondre
Comment définir un traducteur d'expression?
0La chaleur
1Répondre
Comment prouver qu'une relation a une propriété fonctionnelle?
0La chaleur
1Répondre
Comment utiliser les classes ou les locales?
0La chaleur
1Répondre
Transposition de vecteur dans Isabelle/HOL
0La chaleur
1Répondre
Y a-t-il quelque chose comme une règle de subst_tac dans Isabelle?
1La chaleur
1Répondre
Impossible de générer LaTeX à partir d'Isabelle/HOL sous Windows7
0La chaleur
1Répondre
erreur Wellsortedness ... pas de type égal
1La chaleur
1Répondre
Utilisation antiquotes Isabelle à refence une defenition classe