This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Richard Zach
rrrichardzach.mathstodon.xyz.ap.brid.gy
did:plc:5th53jm2zgivaq2bospuekxe
Logician, historian and philosopher of logic, mathematics, and computability at the University of Calgary (Mohkinstsis/Treaty 7 territory). he/him