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
• Book for Part II
• Recordings
• Slides for Part II