Lean FRO
Location: Redmond, United States, office address not availablelean-fro.org
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
Founders and contacts
- FoundersBeing confirmed, locked
- Founder emailsBeing confirmed, locked
- LinkedInCompany page, locked
Explore
More startups in Redmond
Is Lean FRO yours? Feature it on the map for $49 a month, in front of everyone who opens it.
Are you a founder of Lean FRO and want your details removed? Write to us and we remove them within 72 hours.