hi, how to start with Isabelle from scratch?

If you want to learn how to use Isabelle/HOL (the most commonly used object logic for Isabelle), the prog-prove tutorial that also comes with every Isabelle installation is a great start. If you're interested in programming language semantics, you could also read the Concrete Semantics book. Its introduction to Isabelle is essentially the same as the one in the tutorial but with more semantic related examples.

Last updated: Sep 25 2022 at 23:25 UTC