This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
jcc333
jcc333.bsky.social
did:plc:f4ko5jselngseecobmfn6kly
@ellyzoe.bsky.social is there a branch of modal logic/proof-assistance/search that's like "you have limited attention so your lemmas have to be, in total X steps?" I'd look at Math-Wikipedia but my vocabulary is too weak to find anything like what I'm thinking of.
2024-07-04T16:37:21.927Z