VerifiedSoftware Development· Founded 2023

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.

7-day free trial · no credit card

Redmond, United States16(11 to 50)2023lean-fro.org LinkedIn

Verified contacts

19

available on Kipplo

LinkedIn employees

16

11 to 50 range

Open roles

—

no listings

Distinct roles

7

indexed titles

Tech stack

0

tools in use

Monthly traffic

—

organic / mo

Sign up free to see all 19 verified contacts at Lean Fro

Free for 7 days · 50 credits · no card · only pay for verified records.

Decision-makers and verified team members

19 contacts with verified email or phone · masked until revealed.

Sign up free →

Showing 7 of 19 verified contacts

Top roles at Lean Fro

7 distinct titles indexed · top 7 shown.

10research software engineer
2head of engineering
2sr operations manager
1engenheira de software
1principal research software engineer
1research software engineer tech lead
1senior research software engineer

Sign up to unlock all 19 contacts at Lean Fro

Free for 7 days · 50 credits · no card · only pay for verified records.

Sign up to reveal 19 verified contacts at Lean Fro

7-day trial · no credit card · cancel anytime · only pay for verified records.

Sign up free See pricing

Trusted by sales, marketing, and GTM engineering teams.

Lean Fro | Kipplo Discover