AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
