This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Artem Chernikov
archernikov.bsky.social
did:plc:s7u2ch5y5b2rzcizuzp6tljb
Michael Brin professor of mathematics at @UofMaryland (also @UCLA, on leave). Mathematical logic, model theory -and connections to combinatorics, algebra, etc