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.

#LeanProver #FormalMathematics #FormalVerification

Lean Programming Language

Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.

Lean Language
A new (diamond open access) journal devoted to #FormalMathematics has just launched: "Annals of Formalized Mathematics", https://afm.episciences.org/ . (I am not directly involved with the journal, though I am on the #mathematics "epi-committee" of the broader #episciences platform, https://www.episciences.org/ ). There has traditionally not been a natural forum for publishing research-level work on formalizing mathematics, and hopefully this journal will be successful in providing one.
Annals of Formalized Mathematics - Home