isabelle

98 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Can Isabelle be used to draw inference trees?
user_41965780
•
2
0
64
isabelle
How can I use Isabelle in Emacs
user_48371120
•
2
1
200
isabelle emacs
How to understand syntax and translation in Isabelle
user_144293730
•
2
1
191
isabelle verification formal-methods formal-verification syntax
Why do I have to use "numeral_nat" or "numeral.simps" when proving a simple computable equality of naturals in Isabelle
user_146561980
•
1
1
80
isabelle
Meta symbol for existential quantification in Isabelle
user_146561980
•
1
1
92
isabelle
How to find the proof method chosen by the "proof" command
user_146561980
•
2
1
75
isabelle
What does "case _ of _" mean in Isabelle
user_146561980
•
2
2
185
isabelle
How to define a function/map from one set to another (f: A -> B) in Isabelle?
user_41965780
•
1
1
404
isabelle
Quantifying over a specific part of the sentence in Isabelle
user_146561980
•
2
1
55
isabelle
Focusing on a subgoal
user_146561980
•
2
2
137
isabelle
Hot Questions