Functional Data Structures

Chair for Logic and Verification

Installation

Install Isabelle 2022 from the website.

Exercise Sheets

Exercise 1 exercise sheet, tutorial solution, example solution
Exercise 2 exercise sheet, tutorial template, tutorial solution, example solution
Exercise 3 exercise sheet, tutorial template, tutorial solution, example solution
Exercise 4 exercise sheet, tutorial template, example solution
Exercise 5 exercise sheet, tutorial template, tutorial solution, example solution
Exercise 6 exercise sheet, tutorial template, example solution, tutorial solution
Exercise 7 exercise sheet, tutorial template, example solution, tutorial solution
Exercise 8 exercise sheet, tutorial template, example solution, tutorial solution
Exercise 9 exercise sheet, tutorial template 1, tutorial template 2, example solution 1, example solution 2, tutorial solution
Exercise 10 exercise sheet, tutorial template 1, tutorial template 2, example solution 1, example solution 2, tutorial solution
Exercise 11 exercise sheet, tutorial template, example solution, tutorial solution
Exercise 12 exercise sheet, tutorial template, example solution, tutorial solution
Exercise 13 exercise sheet, tutorial template, example solution, tutorial solution

You can earn bonus points when finding mistakes in the new version of the book!

Exam Preparation

Old exam, Templates, Solution