Lean for Algorithms

Welcome

Written on 09.10.2026 17:45 by Henrik Lievonen

Welcome on the Lean for Algorithms course!

The first course activity will be our first lecture on Tuesday October 13 at 14:15 – 16:00, and then the exercise class on Thursday October 15 at 14:00 – 17:00; we have decided to extend the exercise session by an hour for those who have scheduling conflicts before 16. All of our course activities will be held E9 1, 0.05 (CISPA building, lecture hall on ground floor).

Before the first class, we recommend everyone to install the Lean tool chain, including VS Code, following the official instructions.

Best,
The course personnel