This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Simone Picenni
spicenni.bsky.social
did:plc:tmkwbdabh2geb7rkzoeygbgu
Postdoc @ ILLC/UvA
Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user
Support the Human Right To Science!