Videos

Formalization Of Mathematics Summer School: Installing Lean

Presenter
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean Thumbnail
Play Video