About Me
// Hello, World !
Top Answers
-
Is there a way to get a complete list of all kinds of operators/constructors of Isabelle?
5 votes
-
What's the difference between Map and Mapping in Isabelle?
5 votes
-
Isabelle structure proof
4 votes
-
Subst refl closing duplicate subgoals. What's going on?
3 votes
-
Evaluate complex set comprehension expression
3 votes