Perfectoid Spaces Proof of Concept
20:55–21:34 · 39s
Buzzard’s team formalizes Peter Scholze’s exotic perfectoid spaces, convincing skeptics that Lean can handle bleeding-edge mathematics.
20:55–21:34 · 39s
Buzzard’s team formalizes Peter Scholze’s exotic perfectoid spaces, convincing skeptics that Lean can handle bleeding-edge mathematics.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.