Intro to Lean

25 September 2024 - 25 September 2024 | Time: 10:00 to 15:00