Start date cannot be after end date.
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
Formalization Of Mathematics Summer School: Number Theory (Chapter 5 of MIL)
Presenter
- Heather Macbeth
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Lecture and Discussion
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)
Presenter
- Heather Macbeth
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics
Presenter
- Patrick Massot
June 5, 2023
SLMath
A brief journey to the past of iterative methods for solving sparse linear systems
Presenter
- Yousef Saad
November 2, 2018
ICERM