National Science Foundation
Mathematical Sciences Institutes
Home
Institutes
Events
Highlights
Videos
Diversity
About
Videos
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)
Presenter
Jeremy Avigad
June 6, 2023
SLMath
Play Video