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 cutting-edge world of ∞-category theory formalization in this 59-minute lecture by Emily Riehl at the Hausdorff Center for Mathematics. Delve into the intricacies of using the Rzk proof assistant to formalize complex mathematical concepts in ∞-category theory. Gain insights into the challenges and breakthroughs in this field, and discover how advanced proof assistants are revolutionizing mathematical research and verification. Learn about the latest developments in formalizing abstract mathematical structures and their applications in modern mathematics and computer science.
