Company profile
Lean FRO
Supporting the Formal Mathematics revolution
- Industry
- Software Development
- Employees
- 18
- Headquarters
- Redmond, WA
- Founded
- 2023
- LinkedIn followers
- 6,220
- Office locations
- 1
Lean FRO company summary
Lean FRO is a company in the Software Development industry, headquartered in Redmond, WA, founded in 2023. On LinkedIn the company has around 18 employees and 6,220 followers.
What technology does Lean FRO use?
No technologies detected yet. Warmrank rechecks company websites on a rolling basis.
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.
Where is Lean FRO located?
Lean FRO lists 1 location.
Compare companies similar to Lean FRO
More companies in Software Development.
| Company | Industry | Employees | Founded | Headquarters |
|---|---|---|---|---|
Lean FRO lean-lang.org | Software Development | 18 | 2023 | Redmond, WA |
 Vagas.com vagas.com.br | Software Development | 3,304 | 1999 | São Paulo, SP |
 Salesforce Work.com salesforce.com | Software Development | 87,907 | - | San Francisco, California |
 Microsoft github.com | Software Development | 6,587 | 2008 | San Francisco, CA |
 SAP Concur sap.com | Software Development | 147,691 | 1972 | Walldorf, BW |
 Upwork upwork.com | Software Development | 176,790 | 2015 | San Francisco, California, US |
 TechCrunch techcrunch.com | Software Development | 582 | - | San Francisco, California |
 Zoho zoho.com | Software Development | 30,854 | - | Chennai, Tamil Nadu |
 Canva canva.com | Software Development | 17,794 | 2012 | Surry Hills, New South Wales, AU |
 Atlassian atlassian.com | Software Development | 21,061 | 2002 | Sydney, NSW, AU |
 Shopee shopee.com | Software Development | 76,519 | - | Singapore, Singapore, SG |
Frequently asked questions about Lean FRO
What does Lean FRO do?
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.
How many employees does Lean FRO have?
Lean FRO has around 18 employees on LinkedIn.
Where is Lean FRO headquartered?
Lean FRO is headquartered in Redmond, WA.
When was Lean FRO founded?
Lean FRO was founded in 2023.
Build a lead list from companies like Lean FRO
Describe your ICP or import a CSV. Warmrank finds matching companies, enriches contacts with verified emails, and tracks every lead.