News for hackers. Stuff that matters.

A comment on New Shape Opens ‘Wormhole’ Between Numbers and Geometry. Parent comment

Re:New Shape Opens ‘Wormhole’ Between Numbers and Geometry by jesuslop on Monday July 26, 2021 @08:17AM (#27958484)
Yep, you are right. Kevin Buzzard, Johan Commelin, and Patrick Massot, slide 31 at

https://robertylewis.com/files/lean_intro_slides.pdf

[ Parent | on HN ]

There are no comments on this comment yet.