Anthony Bordg (Jul 03 2019 at 20:17): Anthony Bordg (Jul 03 2019 at 20:17):A lot of documentation about Isabelle is available.
Have a look at this tutorial for instance and later consult the Isar Reference Manual for more advanced features, or better ask questions in this stream!
Hanna Lachnitt (Jul 05 2019 at 09:45):Make sure to follow the link to the tutorial Anthony gave, there is an old tutorial available: https://isabelle.in.tum.de/doc/tutorial.pdf. which will pop up first if you google "Isabelle tutorial". It is still useful but it's outdated and it's much better to start with the new prog-prove tutorial :)
Last updated: Feb 28 2025 at 08:24 UTC