Approaches to the formalization of differential geometry

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

https://youtu.be/oiOpudgC0J4 New Technologies in Mathematics Seminar Speaker: Heather Macbeth, Fordham University Title: Approaches to the formalization of differential geometry Abstract: In the last five years, there has been early work […]