This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Ted Kaminski
tedinski.com
did:plc:iqiublrd3xujwak4hitdl5fs
🦀🥳
Previously: Kani Rust Verifier, AWS, PL/compilers PhD