This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
amplifyingfsharp.io
did:plc:hyenrta5ukuguolcryfcac3a
Don't miss out of Wybe this week!
A CE-embedded proof checker in #fsharp
https://amplifyingfsharp.io/sessions/2025-05-23/
2025-05-22T19:46:18.854Z