Stream: Beginner Questions

Topic: Recommended learning material

view this post on Zulip Mario Xerxes Castelán Castro (Dec 13 2025 at 00:31):

I have experience with HOL4. Is prog-prove the recommended reading to learn Isabelle?

view this post on Zulip irvin (Dec 13 2025 at 02:59):

i believe that to be the case though there are some alternatives on https://isabelle.systems/courses.html

Last updated: Jan 17 2026 at 20:25 UTC