More videos by the speakers

More Basics (Chapter 2 of MIL) Date: June 05, 2023 No views • almost 2 years ago

Logic (Chapter 3 of MIL) Date: June 06, 2023 No views • almost 2 years ago

Sets and Functions (Chapter 4 of MIL) Date: June 06, 2023 No views • almost 2 years ago

Logical Foundations Date: June 07, 2023 No views • almost 2 years ago

Formalizing Blockchain Computations Date: June 15, 2023 No views • almost 2 years ago

The Lean Simplifier and Other Automation Date: June 15, 2023 No views • almost 2 years ago