Videos

Organizer Welcome / Introduction to Lean

Presenter
July 11, 2022
ICERM
Event: Lean for the Curious Mathematician 2022
Play Video