Videos

Formalization Of Mathematics Summer School: From Lean to Informal Mathematics

Presenter
June 13, 2023