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 a geometry lecture that introduces formalization techniques using the Lean theorem prover, focusing on group actions on affine space and Euclidean space. Learn to approach geometric concepts in a bilingual mathematical-computational framework as part of a comprehensive training program for PhD students and postdocs. Develop skills in formalizing undergraduate-level geometric exercises while gaining proficiency with the Mathlib library. Explore how traditional geometric concepts can be expressed and proven within a formal mathematical system, preparing for advanced collaborative projects in mathematical formalization.
