Sign in
DONATE NOW
Home
/
Summer Graduate School
/
Schedule
/
Related Videos
Related Videos
Lunch 06-Jun-2023 12:00 PM PDT - 06-Jun-2023 01:30 PM PDT
Showing 1 - 20 of 20 matches
Introduction to Formalized Mathematics
Date: June 05, 2023
No views • almost 2 years ago
Basics (Chapter 2 of MIL)
Date: June 05, 2023
No views • almost 2 years ago
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
Number Theory (Chapter 5 of MIL)
Date: June 07, 2023
No views • almost 2 years ago
Logical Foundations
Date: June 07, 2023
No views • almost 2 years ago
Algebraic Structures (Chapter 6 of MIL)
Date: June 08, 2023
No views • almost 2 years ago
Forgetful Inheritance, Hom-Like and Set-Like
Date: June 08, 2023
No views • almost 2 years ago
Topology (Chapter 8 of MIL)
Date: June 09, 2023
No views • almost 2 years ago
Hierarchies (Chapter 7 of MIL)
Date: June 12, 2023
No views • almost 2 years ago
Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Date: June 13, 2023
No views • almost 2 years ago
From Lean to Informal Mathematics
Date: June 13, 2023
No views • almost 2 years ago
Formalizing Galois Theory
Date: June 14, 2023
No views • almost 2 years ago
Finiteness and Graph Theory
Date: June 14, 2023
No views • almost 2 years ago
Formalizing Blockchain Computations
Date: June 15, 2023
No views • almost 2 years ago
Polynomials and Algebraic Number Theory
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
Integration and Complex Analysis
Date: June 16, 2023
No views • almost 2 years ago
Formalizing Sphere Eversion
Date: June 16, 2023
No views • almost 2 years ago
