This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Samiro Discher
xamidi.bsky.social
did:plc:77zrjafkqkgxfq34pi5qx5oi
Here for science. Vegan. Gen Y. Not afraid to push back left-wing fascists.
Logician (theoretical computer science) | Developer (HPC & logic tools)
Proof theory & complexity
https://github.com/xamidi