This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
HackerNoon
hackernoon.com
did:plc:kbzotn4ippvrqllcitxglgm2
Grothendieck’s “canonical” equalities work on paper but clash with formal proof systems like Lean, exposing a subtle gap in algebraic geometry’s foundations. #mathematicallogic
https://hackernoon.com/the-problem-with-grothendiecks-use-of-equality
2025-12-10T14:00:05.232Z