Sophie Tourret (Apr 11 2022 at 08:37): Sophie Tourret (Apr 11 2022 at 08:37):Hello,
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?
waynee95 (Apr 11 2022 at 09:07):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.
Manuel Eberl (Apr 11 2022 at 14:20):(deleted)
Manuel Eberl (Apr 11 2022 at 14:20):(deleted)
Wenda Li (Apr 11 2022 at 14:21):(deleted)
Manuel Eberl (Apr 11 2022 at 14:21):oops
Manuel Eberl (Apr 11 2022 at 14:22):Sorry about that. :sweat_smile:
Manuel Eberl (Apr 11 2022 at 14:22):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: Dec 21 2024 at 16:20 UTC