Sign in
DONATE NOW
Home
/
Summer Graduate School
/
Schedule
/
Related Videos
Related Videos
Installing Lean on Participants' Computers and Lunch 05-Jun-2023 11:30 AM PDT - 05-Jun-2023 01:30 PM PDT
Showing 1 - 20 of 20 matches
Introduction to Formalized Mathematics
Date: June 05, 2023
No views • over 1 year ago
Basics (Chapter 2 of MIL)
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
Sets and Functions (Chapter 4 of MIL)
Date: June 06, 2023
No views • over 1 year ago
Number Theory (Chapter 5 of MIL)
Date: June 07, 2023
No views • over 1 year ago
Logical Foundations
Date: June 07, 2023
No views • over 1 year ago
Algebraic Structures (Chapter 6 of MIL)
Date: June 08, 2023
No views • over 1 year ago
Forgetful Inheritance, Hom-Like and Set-Like
Date: June 08, 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
From Lean to Informal Mathematics
Date: June 13, 2023
No views • over 1 year ago
Formalizing Galois Theory
Date: June 14, 2023
No views • over 1 year ago
Finiteness and Graph Theory
Date: June 14, 2023
No views • over 1 year ago
Formalizing Blockchain Computations
Date: June 15, 2023
No views • over 1 year ago
Polynomials and Algebraic Number Theory
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
Integration and Complex Analysis
Date: June 16, 2023
No views • over 1 year ago
Formalizing Sphere Eversion
Date: June 16, 2023
No views • over 1 year ago
