Mathematical Conversations
How and Why to Formalize Mathematics
After a short crash course in using Lean to formalize mathematics, we will discuss potential applications to and implications for mathematics education, publication, and research.
Date & Time
February 26, 2025 | 6:00pm – 8:00pm
Location
Simons Hall Dilworth RoomSpeakers
Alex Kontorovich, Institute for Advanced Study