More videos by the speakers

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

Sets and Functions (Chapter 4 of MIL) Date: June 06, 2023 No views • over 1 year ago

Logical Foundations Date: June 07, 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