Formalizing Infinity-Category Theory in the Rzk Proof Assistant

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.

Emily Riehl: Formalizing ∞-category theory in the Rzk proof assistant