Functional Data Structures

Chair for Logic and Verification

Material

• Isabelle tutorial slides for Part I
• Isabelle tutorial for Part I
• Demo theories for Part I
• New version of the book for Part II
• Recordings
• Slides for Part II