Certified Programming with Dependent Types
Exercises
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
(
Adam Chlipala
)
Homeworks from CIS 670 at Penn in Fall 2012
(
Benjamin Pierce
and students in the class)
Other Exercises
Coq'Art exercises
(
Yves Bertot
and
Pierre Castéran
)