Stream: Beginner Questions

Topic: good cheat sheet for beginners


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Manuel Eberl (Apr 11 2022 at 14:20):

(deleted)

view this post on Zulip Manuel Eberl (Apr 11 2022 at 14:20):

(deleted)

view this post on Zulip Wenda Li (Apr 11 2022 at 14:21):

(deleted)

view this post on Zulip Manuel Eberl (Apr 11 2022 at 14:21):

oops

view this post on Zulip Manuel Eberl (Apr 11 2022 at 14:22):

Sorry about that. :sweat_smile:

view this post on Zulip 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: Sep 25 2022 at 23:25 UTC