Interactive Session
Lean for PDEs, an ICARM & SLMath collaboration October 06, 2025 - October 09, 2025
Location: SLMath: Eisenbud Auditorium
Primary Mathematics Subject Classification
No Primary AMS MSC
Secondary Mathematics Subject Classification
No Secondary AMS MSC
This third day is dedicated to group projects: the participants will formalize mathematical statements of their choice about PDEs that are missing from Mathlib. The Lean experts will guide and help the groups to formulate their mathematical goals in Lean and come up with the best way to formalize their proofs.