Homework
| # | due date | topic |
|---|---|---|
| 1 | 11. sept. | Basics.v, Induction.v |
| 2 | 18. sept. | Lists.v, Poly.v, Tactics.v |
| 3 | 25. sept. | Logic.v, |
| 4 | 04. oct. | IndProp.v, Maps.v |
| 5 | 11. oct. | Imp.v, Auto.v |
| 6 | 18. oct. | Perm.v |
| 7 | 25. oct. | Sort.v |
| 8 | 01. nov. | Multiset.v |
| 9 | 08. nov. | Selection.v |
| 10 | 22. nov. | SearchTree.v |
| 11 | 29. nov. | ADT.V |
| 12 | 06. dec. | Extract.v |
| 13 | January | Redblack.v |