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: Dec 07 2023 at 08:19 UTC