Verified email-pattern data for Lean Fro is currently limited. You can still use the company insights and contact sections below.
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.
Company Details
- Employees
- 15
- Founded
- -
- Address
- Redmond, Wa 98052, Us
- Industry
- Software Development
- Website
- https://lean-lang.org
- HQ
- Redmond, WA
Lean Fro Questions
Lean FRO's website is https://lean-lang.org
Lean FRO's LinkedIn profile is https://www.linkedin.com/company/lean-fro
Lean FRO has
15 employees.
View email and phone details for 15
employees at Lean FRO.
Lean FRO's industry is
Software Development
Lean FRO's top competitors are
Convergent Research,
Harmonic,
Well-Typed Llp,
Existx,
Galois, Inc.,
Topos Institute,
Cultivarium,
Uwu Games,
Higher Order Company,
E11 Bio.
Lean FRO's categories are Software Development
Lean FRO's founding year is 2023
Explore related pages
Related company profiles:
Top Lean FRO Employees
-
-
Ashley Blacquiere
Operations | Programming | Math
Comox, British Columbia, Canada, Canada4viu.ca, gnwc.ca, nic.bc.ca, nic.bc.ca -
Kim Morrison
Programming Mathematics, And…
Lyneham, Australian Capital Territory, Australia, Australia -
Leonardo de Moura
Senior Principal Applied Scientist At…
Redmond, Washington, United States, United States1microsoft.com
Free Chrome Extension
Find emails, phones & company data instantly
Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Aero Online
Your AI prospecting assistant
Select data to include:
Total price:
$0.00
0 records × $0.02 per record
How It Works
Get a Free Account
Sign up for a free account. No credit card required. Up to 10 free credits.
Search the #1 Contact Database
Get contact details of over 750M+ profiles across 60M companies – all with industry-leading accuracy. Sales Navigator and Recruiter users, try out our Email Finder Extension.
Use our AI-Powered Email Finder
Find business and personal emails and mobile phone numbers with exclusive coverage across niche job titles, industries, and more for unparalleled targeting. Also available via our Contact Data API.