Upcoming Events
CAGS: Real-time Formalization of Mathematics
Dec 1, 2023, 11:00 AM - 12:00 PM
Speaker: Kevin Buzzard, Imperial College, London, United Kingdom
Title: Real-time Formalization of Mathematics
Time: Friday, December 1, 2023 - 11:00am – 12:00am
Location: CAGS zoom link