This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Harisankar B
harisankarbinod.bsky.social
did:plc:gpidhermheqjp5ppggimb3xb
Research Student at NISER (math major)
Interested in Formal Verification, Theoretical Computer Science