María Inés de Frutos Fernández - the universal divided power algebra (Lean Together 2026)

Fabrizio Montesi - CSLib: The Lean Computer Science Library (Lean Together 2026)

David Ledvinka - Formalization of Brownian Motion in Lean (Lean Together 2026)

Exponential equations #3

Salvatore Mercuri - A bottom-up approach to formalisation in the FLT project (Lean Together 2026)

Atticus Kuhn - Verification of model-checking techniques in Lean (Lean Together 2026)

ISQGD–SS01 | Talk 17

Moritz Doll - Formalizing Schwartz functions and tempered distributions (Lean Together 2026)

Harry Goldstein - Metaprogramming the Next Generation of Testing Tools (Lean Together 2026)

Wojciech Różowski - Coinductive predicates in Lean (Lean Together 2026)

Hannah Scholz - Formalisation of CW complexes (Lean Together 2026)

Julius Marx - MRiscX: Certified RISC-V interpreter with Hoare logic as a DSL (Lean Together 2026)

Chris Henson - Locally Nameless Lambda Calculi (Lean Together 2026)

Sebastian Ullrich - The Lean module system (Lean Together 2026)

Майя Чибурданидзе жертвует КОНЯ, СЛОНА и ФЕРЗЯ Игорю Глеку! Минск 1983. Шахматы

Leo de Moura - The State of Lean (Lean Together 2026)

Oliver Dressler - lean-lsp-mcp: Tools for agentic interaction with Lean (Lean Together 2026)

Etienne Marion - Formalization of the Ionescu-Tulcea theorem in Mathlib (Lean Together 2026)

Alex Kontorovich - Teaching Real Analysis as a Video Game (Lean Together 2026)

Nicholas Lum vs Simon Gauzy | MS R64 | #WTTSingapore2026

Leopoldo Sarra - autoformalization for physics and engineering with Lean (Lean Together 2026)