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: Dec 28 2025 at 12:45 UTC