SLUG Stockholm Lean User Group
Reading group on Lean
Time: Thu 2025-10-09 14.00 - 17.00
Location: Albano, House 1, Math department, Mittag-Leffler room
Participating: Yaël Dillies and Sina Hazratpour
What
A reading group run by Yaël Dillies and Sina Hazratpour, where we discuss different aspects of interactive theorem proving, programming, and metaprogramming in Lean.
Everyone is welcome to join! More experienced users are welcome to propose projects in formalization, programming, or metaprogramming.
If you are curious about Lean but don’t have much experience, you’re also welcome — this is a great learning opportunity, and we’re open to all levels.
Where
The Mathematics Department, Stockholm University.
When
Weekly meetings on Thursdays.
For more information see webpage at GitHub .