isabelle

98 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is there a rewrite tactic in Isabelle?
user_16015800
•
4
1
203
theorem-proving isabelle
How does one toggle auto update in Isabelle with a keyboard shortcut?
user_16015800
•
2
1
49
theorem-proving isabelle keyboard-shortcuts
Generalize a claim in a structural induction proof to be able to use the induction hypothesis
user_99954390
•
2
1
91
isabelle induction
How does one insert values into unknowns in isabelle theorem prover?
user_16015800
•
2
2
174
theorem-proving isabelle
Tracing tactics in Isabelle
user_16977090
•
3
0
95
isabelle trace
Object level implication in Isabelle/HOL
user_16977090
•
4
1
124
implication isabelle
Focussing on new subgoals in Eisbach
user_3036370
•
3
2
139
isabelle
What's a cterm?
user_50698020
•
2
2
175
isabelle ml
Isabelle CONST meaning (in relation to THE)
user_121364150
•
3
0
136
isabelle
How to use a definition written on locale parameters in the assumptions of the locale?
user_24872540
•
3
1
92
isar isabelle
Hot Questions