About Me
// Hello, World !
Top Answers
-
Why the odd-even cases differ?
4 votes
-
How to prove an element does not belong to an inductive_set
4 votes
-
How to find the proof method chosen by the "proof" command
4 votes
-
What does it mean for a fact used in Isabelle to have a number after the name?
2 votes
-
How to prove exists goal in this Isabelle/HOL lemma?
2 votes