This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Michael Kinyon
profkinyon.bsky.social
did:plc:pdqysfi2zlmipxpbxsdnw433
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Mostly hanging out at Mathstodon, checking in here only occasionally.