Mission

The Lean Focused Research Organization (FRO) develops Lean, a dependently typed programming language and proof assistant. Our 5-year mission is to guide Lean toward long-term self-sustainability by enhancing its scalability, usability, documentation and proof automation, while empowering education, research and industry through its transformative potential. To learn more please read our current roadmap.

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

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