What

A reading group run by Yaël Dillies 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

Mittag-Leffler room, Mathematics Department, Albano House 1, Floor 3, Stockholm University

See the location on Open Street Map.

When

14:00-17:00 on the following days

Week Date Notes
v 5 2026-01-27  
v 6 2026-02-03  
v 7 2026-02-10  
v 8 2026-02-17  
v 9 2026-02-24  
v 10 2026-03-03  
v 11 2026-03-10  
v 12 2026-03-17 Yaël is away!
v 13 2026-03-24  
v 14 2026-03-31 Meet the MRB2026 participants!
v 15 2026-04-07  
v 16 2026-04-14  
v 17 2026-04-21  
v 18 2026-04-28  
v 19 2026-05-05  
v 20 2026-05-12  
v 21 2026-05-19  
v 22 2026-05-26  
v 23 2026-06-02  
v 24 2026-06-09  
v 25 2026-06-16  

BYOLoL (Bring Your Own Lean on a Laptop)