Contains project repo/code as well as exercises done while following the Programming Language Seminar course at the IT-University of Copenhagen. The course uses Benjamin Pierce's book on Software Foundations, and the exercises as well as project is based thereon.
ecly/programming_language_seminar
Exercises and project for Programming Language Seminar course at ITU
Coq