Coq for SSFT'2018 - Type Theory exercises - Level 4

Crash course in Coq

Exercises from the type theory lectures

The lectures contain a series of examples and exercises, which you should complete from the file SSFT.v.