This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
dan
danabra.mov
did:plc:fpruhuo22xkm5o7ttr2ktxdo
afaik there’s a formalization of godel in Lean (https://github.com/FormalizedFormalLogic/Foundation) but this is very far from my level of understanding
2025-03-13T17:08:26.255Z