Lean FRO
0 followers
Lean FRO is a nonprofit dedicated to advancing the Formal Mathematics revolution. The FRO’s purpose is 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.
Org chart
Corinna Calhoun
Chief Operating Officer
Corinna Calhoun
Collapse
Sebastian Ullrich
Head Of Engineering, Co-founder
Bharat Bhat
Head Of Marketing And Programs
