Saarland University Computer Science


Semantics Derek Dreyer and Gert Smolka

Resources

Lecture Notes and Coq Developments 

You may also check the material of previous editions of this course (2017/18 edition).

Coq

Literature