Event Detail
MAT740 Topology in Lean
| Name | Date / Time | Room | Stream / Recording |
|---|---|---|---|
| Topology in Lean | 22.09.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 29.09.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 06.10.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 13.10.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 20.10.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 27.10.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 03.11.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 10.11.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 17.11.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 24.11.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 01.12.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 08.12.2025, 15:00 - 17:00, Monday | Y27H25 | |
| Topology in Lean | 15.12.2025, 15:00 - 17:00, Monday | Y27H25 |