Videos

Formalization Of Mathematics Summer School: From Lean to Informal Mathematics

Presenter
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics Thumbnail
Play Video