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
Dipping toes in Lean with Claude Code. I can ask it to write a tutorial for a proof I care about: that ZSets with add_merge forms an abelian group. Way better than the stock tutorial to maintain interest! And if I need the tutorial to have more detail, I can ask it to update!
2025-09-10T17:00:09.001Z