More videos by the speakers

Introduction to Formalized Mathematics Date: June 05, 2023 No views • over 1 year ago

More Basics (Chapter 2 of MIL) Date: June 05, 2023 No views • over 1 year ago

Logic (Chapter 3 of MIL) Date: June 06, 2023 No views • over 1 year ago

Logical Foundations Date: June 07, 2023 No views • over 1 year ago

Topology (Chapter 8 of MIL) Date: June 09, 2023 No views • over 1 year ago

Hierarchies (Chapter 7 of MIL) Date: June 12, 2023 No views • over 1 year ago

Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL) Date: June 13, 2023 No views • over 1 year ago

Formalizing Blockchain Computations Date: June 15, 2023 No views • over 1 year ago

The Lean Simplifier and Other Automation Date: June 15, 2023 No views • over 1 year ago

Formalizing Sphere Eversion Date: June 16, 2023 No views • over 1 year ago