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.
Corinna Calhoun
This company has no teams yet
Fathom
7 followers
Mightycause
2 followers
Instrumentl
3 followers
Peoplebox
4 followers
Society of Hispanic Professional Engineers
2 followers
Knowde
3 followers
PowerSchool
14 followers
LastPass
6 followers
James Madison University
1 follower
American Cleaning Institute
1 follower
Aarna Networks
1 follower
Explore companies