Start date cannot be after end date.
Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL)
Presenter
- Thomas Browning
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory
Presenter
- Thomas Browning
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath