Videos

Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics

Presenter
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics Thumbnail
Play Video