Mario Xerxes Castelán Castro (Dec 13 2025 at 00:31): 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?
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: Sep 08 2026 at 08:41 UTC