Lean for the Curious Mathematician 2026Mar 1, 2026The workshop will offer an opportunity to gain hands-on experience with Lean under the guidance of expert tutors.