Top Questions

1. In Isabelle, how to print the state (i.e. subgoals to prove) in other formats (like S-expression, Json format...)?
   12 votes

   1 answers
2. Is there a way to get a complete list of all kinds of operators/constructors of Isabelle?
   4 votes

   2 answers