Stream: Beginner Questions

Topic: how to start with Isabelle from scratch?


view this post on Zulip hermann (Apr 09 2022 at 09:01):

hi, how to start with Isabelle from scratch?

view this post on Zulip 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: Sep 25 2022 at 23:25 UTC