en | de

Interactive Theorem Proving in Isabelle/HOL

master program

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.