Subscribe to Events
Andre Hernandez-Espiet - Formalized Synthetic Geometry
Location: Hill 005
Date & time: Wednesday, 31 January 2024 at 3:00PM - 4:00PM
Andre Hernandez-Espiet, Rutgers University
Thesis Defense
Formalized Synthetic Geometry
Location: Hill 005