Functional Data Structures

Material

• Isabelle tutorial slides for Part I
• Isabelle tutorial for Part I
• Demo theories for Part I
• Slides for Part II
• Book for Part II
• Recordings

Lectures

Part I, Introduction to Isabelle:

• 26.4. Read up to/incl 2.2.5 in the tutorial.
• 3.5. Watch #02 from 2019, read up to/incl 2.5.3 in the tutorial.
• 10.5. Read up to/incl 3.3 in the tutorial.
• 17.5. Read up to/incl 4.1 in the tutorial, but without 3.5.
• 24.5. Read up to the end of the tutorial.

Part II, Functional Data Structures

• 31.5. Read Chapters 1 and 2 from the book (up to but excl. 2.6)
• 14.6. Read Chapters 4 - 6 from the book