Videos

Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL)

Presenter
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL) Thumbnail
Play Video