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
Explore the fundamental concepts of type theory in this comprehensive lecture delivered as part of the Simons Foundation's MPS Workshop on Lean. Learn the theoretical foundations that underpin formal mathematical proof systems, with particular emphasis on how type theory relates to mathematical formalization in Lean. Discover the core principles of type systems, their role in ensuring mathematical rigor, and their practical applications in computer-assisted theorem proving. Gain insights into how type theory serves as the mathematical backbone for modern proof assistants and formal verification systems. This presentation forms part of an intensive two-week program designed to train mathematicians in formal proof techniques, bridging traditional mathematical reasoning with computational verification methods.
