Certified Programming with Dependent Types
Here lies an attempt to crowdsource the production of exercises for CPDT.
Exercises Written for CPDT
Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises
Homeworks from CIS 670 at Penn in Fall 2012
and students in the class)