Videos

Formalization Of Mathematics Summer School: Forgetful Inheritance, Hom-Like and Set-Like

Presenter
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: Forgetful Inheritance, Hom-Like and Set-Like Thumbnail
Play Video