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.

Industries

Headquarters

Redmond, US

Employees

11-50

Links

Org chart

Corinna Calhoun
Chief Operating Officer

Corinna Calhoun

Collapse
Sebastian Ullrich
Head Of Engineering, Co-founder
Bharat Bhat
Head Of Marketing And Programs

Teams

This company has no teams yet