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
found the magic prompt that fixes all my Lean. "walk the abstraction layers one by one from the foundations all the way to the top, and at every point see if the proof matches how you would explain 'why' to a human. if not, assert underlying facts at the lower level and compose or lift them"
2026-08-30T12:17:01.962Z