#formalmathematics — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #formalmathematics, aggregated by home.social.
-
We're excited to share the Lean FRO Year 3 Roadmap today! This roadmap builds on work completed in the first two years of Lean FRO operations and will guide all #LeanLang development through July 2026. Read the full document at https://lean-lang.org/fro/ for details on our seven key priority areas.
-
We're excited to share the Lean FRO Year 3 Roadmap today! This roadmap builds on work completed in the first two years of Lean FRO operations and will guide all #LeanLang development through July 2026. Read the full document at https://lean-lang.org/fro/ for details on our seven key priority areas.