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
Congrats to all authors of 𝘛𝘩𝘦 𝘓𝘦𝘢𝘯 𝘛𝘩𝘦𝘰𝘳𝘦𝘮 𝘗𝘳𝘰𝘷𝘦𝘳 (𝘚𝘺𝘴𝘵𝘦𝘮 𝘋𝘦𝘴𝘤𝘳𝘪𝘱𝘵𝘪𝘰𝘯) paper: Leonardo de Moura, Soonho Kong, Jeremy Avigad, Floris van Doorn, and Jakob von Raumer!
#LeanLang #LeanProver #FormalMathematics #SoftwareVerification
Apparently, the words that I use don't mean what they really mean. #formalmathematics
Like philosophy. But with more squiggles and fewer orphans on trains heading off a cliff. #formalmathematics #fuckthis
