isabelle

98 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Isabelle Server on another machine?
user_51584250
•
4
0
165
isabelle
How to use obtain to make forward elimination proofs easier to read?
user_16178370
•
3
1
68
isar isabelle proof
Equivalence between apply and Isar styles in Isabelle
user_50698020
•
2
1
98
isabelle
How to define a termination order for the function with fmmap_keys?
user_6321990
•
2
1
394
isabelle
`find_theorems` in the AFP
user_13084440
•
3
2
113
isabelle
How to define a class instance of type_synonym?
user_6321990
•
2
1
167
isabelle
Cannot generate LaTeX from Isabelle/HOL under Windows7
user_19339300
•
3
1
252
isabelle windows-7 installation latex
Embedding SMT in Isabelle/HOL functions
user_76482720
•
3
0
122
theorem-proving smt isabelle
Hot Questions