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
We're excited to share the Lean FRO Year 3 Roadmap today! It builds on work completed in the first two years of Lean FRO operations and will guide all #LeanLang development through July 2026.
➡️ Read the roadmap at lean-lang.org/fro/
#LeanProver #FormalMathematics #FormalVerification
https://lean-lang.org/fro/
2025-08-05T15:06:05.413Z