About Me
// Hello, World !
Top Answers
-
What are the semantics of assume for Isabelle/Isar?
4 votes
-
Using an inverse value of an injective function
3 votes
-
What is wrong with this Isabelle proof?
3 votes
-
How to define a function/map from one set to another (f: A -> B) in Isabelle?
2 votes
-
How to understand syntax and translation in Isabelle
2 votes