Start date cannot be after end date.
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
Presenter
- Terence Tao
September 15, 2025
ICERM
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory
Presenter
- Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM