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

Personnel

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