# Homework Assignments & Exams

# | Due Date | Description | Remarks |
---|---|---|---|

1 | 08/29/12 | Exercise on logical connectives, Exercise on universal quantification (page 20 of Coq in a Hurry) |
Will not be graded. To determine if students find the material too simple. |

2 | 09/19/12 | hw2.pdf | solution |

3 | 10/03/12 | hw3.v | solution |

4 | 10/07/12 | midterm.v | solution |

5 | 11/12/12 | hw4.pdf | solution 1–3 solution 4 |

6 | 11/26/12 | hw5.pdf | solution for p1 solution for p2 |

7 | 12/07/12 | hw6.pdf | solution |

8 | 12/07/12 | project.pdf smv_templates.zip |