Theorem prover lab: applications in programming languages

The "Theorem provers lab" in the summer term 2017 has been cancelled. Wait for the summer term 2018.