This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Lean Focused Research Organization
lean-lang.org
did:plc:devnu4zs2viutk26clxykpbb
Fun to see snippets of #LeanLang interspersed into this fantastic @3blue1brown.com guest video by @bensyversen.bsky.social about Euclid's Elements!
[contains quote post or other embedded content]
2025-09-18T18:23:53.211Z