Start date cannot be after end date.
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory
Presenter
- Thomas Browning
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Presenter
- Patrick Massot
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Topology (Chapter 7 of MIL)
Presenter
- Patrick Massot
June 9, 2023
SLMath
Formalization Of Mathematics Summer School: Forgetful Inheritance, Hom-Like and Set-Like
Presenter
- Kyle Miller
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL)
Presenter
- Thomas Browning
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like
Presenter
- Jeremy Avigad
June 7, 2023
SLMath