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: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath