Intro to Lean

06 November 2024 - 06 November 2024 | Time: 10:00 to 15:00