HOME | DEUTSCH | IMPRESSUM | KIT

Theorem prover lab: applications in programming languages

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 below, which is available in English, useful.

Date Room Topic Documents

Personnel

Scientific Staff
Dr. Jakob von Raumer
Sebastian Ullrich
Tutors
Marc Huisinga