Functional Data Structures

Chair for Logic and Verification

Installation

We will use a pre-release version of Isabelle2024, which you can download here.

Please download and install it before the first tutorial.

For experienced users: you may also use the latest Isabelle development version.

Exercise Sheets

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

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

Exam Preparation

Old exam, Templates, Solution