Lecture 04 | Elements of Mathematical Formalization and Auto-Formalization with Lean
Speaker:
Arul Shankar, University of Toronto, Kevin Wilson, Borealis AI
Date and Time:
Monday, October 5, 2026 - 2:00pm to 5:00pm
Location:
Fields Institute, Room 309, Stewart Library
