Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Endterm Exam | Exam | 13.08.21 | N/A | Yes | |||
| Final Exam | Exam | 16.09.21 | N/A | Yes | |||
| Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
| Endterm Exam | Exam | 12.08.21 | N/A | Yes | |||
| Tutorial | Tutorial | 9 | 20.05.21 | 20.05.21 | No |
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Endterm Exam | Exam | 13.08.21 | N/A | Yes | |||
| Final Exam | Exam | 16.09.21 | N/A | Yes | |||
| Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
| Endterm Exam | Exam | 12.08.21 | N/A | Yes | |||
| Tutorial | Tutorial | 9 | 20.05.21 | 20.05.21 | No |