Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Attend this geometry lecture delivered by Heather Macbeth as part of the Simons Foundation's 2025 MPS Workshop on Lean. Learn mathematical concepts in geometry and topology through a bilingual approach that integrates traditional mathematical instruction with Lean formalization. Focus on group actions on affine space, Euclidean space, and related geometric concepts while developing proficiency in formalizing mathematical solutions at the undergraduate level. Participate in hands-on exercises designed to test and demonstrate the capabilities of the Mathlib library. This session forms part of an intensive week-long training program for PhD students and postdocs, preparing participants for advanced collaborative projects in mathematical formalization including contributions to major initiatives like the Fermat's Last Theorem (FLT) and Prime Number Theorem (PNT+) projects.
