hermann (Apr 09 2022 at 09:01): hermann (Apr 09 2022 at 09:01):hi, how to start with Isabelle from scratch?
Florian Sextl (Apr 09 2022 at 10:57):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: Apr 20 2024 at 08:16 UTC