The importance of Lean @SimonsFoundation
The importance of Lean @SimonsFoundation
Uploaded July 2026 | Updated September 2026, 3 weeks ago
"The Proof in the Code" author Kevin Hartnett on the importance of Lean, the proof assistant that is transforming math.

Watch his full interview and learn more about his new book on our channel.
The importance of Lean2026 Fields Medal: Yu Deng and the game of GoStories of Impact: ART±BIO CollaborativeInternational Congress of Mathematicians: Medal and Prize Winners LaudatiosDusa McDuff - ChildhoodElias Stein - Collaboration with StudentsDavid DeMille - Electric Dipole Moments: Powerful Probes for New Physics (September 4, 2025)Luc Deike: Broadband Ocean Waves Dynamics and Statistics Involving Wind Forcing...(Dec. 4, 2025)Graeme Segal on solitude and mathematicsCharlotte Peale: Uncertainty Quantification Beyond Calibration (February 5, 2026)What is Lean?Aaron Lauda: Quantum Algorithms and the Spectral Geometry of Khovanov Homology (March 26, 2026)
Simons Foundation |

The importance of Lean

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER