The theorem proving lab aims to teach students the use of a theorem prover (Lean 4) and its application to topics from the theory of programming languages. The course is held in German (see also German description), but interested third parties might find the course material, which is available in English, useful.

Personnel