This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
iamwil
interjectedfuture.com
did:plc:4yf2dz4a5hvjmui5gbgxclzx
My initial questions are basic. Like why Lean over Isabelle or Agda? Pros and cons?
Beyond that, perhaps typed holes as derivatives of types?
2025-03-13T17:51:33.845Z