This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Martin Kleppmann
martin.kleppmann.com
did:plc:vzmlifz3ghar4cu2hj3srga2
This blog post https://interjectedfuture.com/the-best-way-to-learn-might-be-starting-at-the-end/ on using LLMs to learn how to do formal proofs is another nice angle on the topic
[contains quote post or other embedded content]
2025-12-13T10:57:44.329Z