Videos

Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation

Presenter
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation Thumbnail
Play Video