News
No Lecture and tutorial this week
Written on 10.11.2026 14:17 by Shreyas Srinivas
Hi all,
As announced in the lecture last week, there is no lecture and no tutorial this week. We begin module 2 next week.
Best Regards
Lean for Algorithms
Sebastian Brandt, Henrik Lievonen, Shreyas Srinivas