Lean FRO
Software Development
Redmond, Wa, United States
15 employees
- Employees
- 15
- Contacts
- 2
- Emails
- 2
Lean FRO Overview
- Headquarters
- Redmond, Wa, United States
- Website
- lean-lang.org
- Industry
- Software Development
- Employees
- 15
- Founded
- 2023
- NAICS
-
Software Publishers
About Lean FRO
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.
Lean FRO Contact Details
- People in AeroLeads
- 4
- With contact data
- 2
- Email contacts
- 2
- 50.0% coverage
Lean FRO Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| David Thrane Christiansen | Senior Research Software Engineer |
View
|
|
| Ashley Blacquiere | Operations - Programming - Math | Comox, British Columbia, Canada |
Email
|
| Kim Morrison | Programming Mathematics | Lyneham, Australian Capital Territory, Australia |
View
|
| Leonardo De Moura | Senior Principal Applied Scientist | Redmond, Washington, United States |
Email
|
Employees by Management Level
Senior / Lead
2 profiles
Individual contributor
2 profiles
Lean FRO Tech Stack
Data / AI
1 profile
Engineering
1 profile
Compare Similar Companies to Lean FRO
Galois, Inc.
Software Development
Convergent Research
Non-Profit Organizations
Harmonic
Software Development
UwU Games
Computer Games
Cultivarium
Biotechnology Research
E11 Bio
Biotechnology Research
Topos Institute
Non-Profit Organizations
Well-Typed LLP
Software Development
ExistX
Software Development
Higher Order Company
Software Development