Videos

Formalization Of Mathematics Summer School: Formalizing Galois Theory

Presenter
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory Thumbnail
Play Video