Intro to Lean

29 May 2024 - 29 May 2024 | Time: 10:00 to 15:00