Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Tutorial | Tutorial | 9 | 10.06.21 | 10.06.21 | No | ||
| Tutorial | Tutorial | 9 | 17.06.21 | 17.06.21 | No | ||
| Tutorial | Tutorial | 9 | 24.06.21 | 24.06.21 | No | ||
| Tutorial | Tutorial | 9 | 01.07.21 | 01.07.21 | No | ||
| Tutorial | Tutorial | 9 | 08.07.21 | 08.07.21 | No | ||
| Tutorial | Tutorial | 9 | 15.07.21 | 15.07.21 | No | ||
| Tutorial | Tutorial | 9 | 22.07.21 | 22.07.21 | No | ||
| Coq WarmUp | Tutorial | 15.04.21 | 15.04.21 | No | |||
| Office Hour | Office Hour | 5 | 20.07.21 | 20.07.21 | No | ||
| Tutorial | Tutorial | 9 | 06.05.21 | 06.05.21 | No | ||
| Lecture | Lecture | Zoom | 1 | 21.04.21 | 21.04.21 | No | |
| Lecture | Lecture | Zoom | 1 | 28.04.21 | 28.04.21 | No |