en | de

Interaktives Beweisen in Isabelle/HOL

Masterstudium

VU3  SS 2022  703315

Exercise Sheets

Every week a new exercise sheet will be made available on this website. Solved exercises must be marked and uploaded in OLAT. The deadline is Thursday, 6 am before the lecture. Solutions will be made available in OLAT.