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