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
🎉 Lean 4.22.0 is here! It represents the culmination of our Year 2 roadmap! Including:
🧠 New grind tactic (SMT-style automated reasoning)
🏗️ New compiler (major performance foundation)
Read the release notes: lean-lang.org/doc/reference/latest/releases/v4.22.0/
#LeanLang #LeanProver
2025-08-15T19:40:40.706Z