About Me
// Hello, World !
Top Answers
-
In Isabelle, how to print the state (i.e. subgoals to prove) in other formats (like S-expression, Json format...)?
5 votes
-
Using an inverse value of an injective function
3 votes
-
Object level implication in Isabelle/HOL
3 votes
-
Focusing on a subgoal
2 votes
-
Has anyone tried proving Z3 with Z3 itself?
2 votes
Top Questions
-
How do I extract parts of code into local variables in Kotlin when using Ktor's HTML builder?
3 votes2 answers
-
Focussing on new subgoals in Eisbach
3 votes2 answers