This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Thomas Lin
7homaslin.com
did:plc:udx3xqsj65igmkdevlp3zpzh
The error was found through the formalization process. This is the paper Tooby-Smith posted about the formalization: arxiv.org/pdf/2603.08139
https://arxiv.org/pdf/2603.08139
2026-04-02T00:21:06.463Z