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
How mathematicians use equality conflicts with formal proof systems. This article explores why canonical isomorphisms break down in computer-checked maths. #mathematicallogic
https://hackernoon.com/grothendieck-equality-and-the-trouble-with-formalising-mathematical-arguments
2025-12-09T19:39:15.730Z