Lean FRO

The Lean FRO is a non-profit dedicated to advancing Lean and growing its community. Launched in August of 2023, the FRO is driving Lean’s development as a proof assistant and extensible programming language. 

We are dedicated to fostering a dynamic, decentralized ecosystem that thrives on diversity and collaboration. This work includes engaging with a global community, encouraging open-source contributions, and forging educational partnerships, ensuring our efforts resonate widely. We aim to make Lean an indispensable resource for researchers, developers, educators, and students.

Our 5-year mission is to empower Lean towards long-term self-sustainability. Please see our current roadmap for details.

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