I'll be introducing students to the wonders of Isabelle/HOL and Isar in the coming weeks, and I was looking for a cheat sheet that could help them. I found (1) and (2) but none of them has much regarding Isar.
Does someone know of another Isabelle cheat sheet, beginner-friendly and ideally with some isar included?
Not sure how much this really helps but here is a quickref for Isar https://www.inf.ed.ac.uk/teaching/courses/ar/isabelle/wenzel-isar-quickref.pdf
It can also be found at the end if the Isar manual.
Sorry about that. :sweat_smile:
I only really used one channel on Zulip for the past few weeks so I must have forgotten that more than one channel exists.
Last updated: Sep 25 2022 at 23:25 UTC