SLUG (Stockholm Lean User Group)
Published:
What
A reading group run by Yaël Dillies and me, 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
See the location on Open Street Map.
When
| Vecka | Datum | Tid | Lokal |
|---|---|---|---|
| v 41 | 2025-10-09 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 42 | 2025-10-16 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 43 | 2025-10-23 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 44 | 2025-10-30 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 45 | 2025-11-06 | 14:00 - 17:00 | Mötesrum 9, Albano Hus 1, Vån 2 |
| v 46 | 2025-11-13 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 47 | 2025-11-20 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 48 | 2025-11-27 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 49 | 2025-12-04 | 14:00 - 17:00 | Mötesrum 16 - Mittag-Lefflerrummet, Albano Hus 1, Vån 3 |
| v 50 | 2025-12-11 | 14:00 - 17:00 | Mötesrum 11 - Kovalevskyrummet, Albano Hus 1, Vån 3 |
BYOLoL (Bring Your Own Lean on a Laptop)