Videos

Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)

Presenter
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL) Thumbnail
Play Video