Links to slides from schedule

Stream: Lean Together 2026

[Kim Morrison]

It seems links to slides never made it to the schedule.

Could someone give me access / tell me where to send a PR, and I'll take care of this?

[Rémy Degenne]

Each author was sent a link to edit their talk page. Some added links to their slides or to a paper. You can add your slides there if you wish

[Kim Morrison]

It's a pity we can't do a global update. :-(

[Jireh Loreaux]

I can do a global update.

[Jireh Loreaux]

Do we have a unified place with all the links? If not, I can go through each of the discussion threads later.

[Kim Morrison :bot:]

• Johan Commelin - The Mathlib Initiative: slides, video
• Vasilii Nesterov - Verified computation of real asymptotics: slides, video
• Fabrizio Montesi - CSLib: The Lean Computer Science Library: slides, video
• Sebastian Ullrich - The Lean module system: slides, video
• Stefan Kebekus - Project VD: slides, video
• Leo de Moura - The State of Lean: slides, video
• Sophie Morel - Nori's construction in Lean: slides, video
• Alex Kontorovich - Teaching Real Analysis as a Video Game: slides, video
• Chris Henson - Proof Automation and Metaprogramming in CSLib: slides, video
• Floris van Doorn - Lessons from the Carleson project: slides, video
• Michal Mrugala - Formalizing Class Field Theory: slides, video
• Kim Morrison - grind: slides, video
• Joël Riou - Formalization of homotopy theory in Lean: slides, video
• Etienne Marion - Ionescu-Tulcea theorem in Mathlib: slides, video
• Julius Marx - MRiscX: slides, video
• Oliver Dressler - lean-lsp-mcp: slides, video

[Jireh Loreaux]

updated on research seminars (and hence also the website).