July 25, 2023: We are excited to share the news of the Lean Focused Research Organization (FRO)! A new nonprofit dedicated to advancing the Formal Mathematics revolution, we aim to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant. Our 5-year mission is to empower Lean towards self-sustainability. Please check our roadmap for details.

We gratefully acknowledge philanthropic support from the Simons Foundation International, the Alfred P. Sloan Foundation, and Richard Merkin.

To discover more about Focused Research Organizations, please visit convergentresearch.org.