Lean FRO

lean-lang.org

Redmond, Washington, United States

11-50 employees

LinkedIn Profile

About Lean FRO

software development, proof automation, proof automation tools, formal mathematics, mathlib, automated reasoning, non-profit, automated proof, proof automation tools integration, proof automation for large systems, theorem proving, lean language, formalized mathematics, rust verification in lean, fermat's last theorem formalization, proof automation environment, education, proof automation scalability, proof automation research, proof automation development

Lean FRO's Tech Stack

AI/ML

Communication

Discord

Decision Makers at Lean FRO

1 contact

Sebastian Ullrich

Head of Engineering

s***@lean-fro.org Sign up to view

Unlock full contact details including verified emails and LinkedIn profiles

Upgrade to Pro

8 technologies detected · 1 decision maker · Emails available

Sales Outreach Angle

AWS infrastructure signals engineering sophistication. This company likely evaluates cloud cost management, security tooling, observability, and developer productivity solutions.

Lean FRO's Position in the StackWho Database

• Lean FRO is 1 of 194,140 information technology & services companies tracked in StackWho.
• 193,618 information technology & services companies in our database have verified decision-maker emails (100% of the cohort).
• 7,040 companies in Washington are in the StackWho database.
• 74,148 information technology & services companies are in the 11-50 employee range (same size as Lean FRO).

Technology detection from public web signals. Decision-maker contacts compiled from LinkedIn public profiles, company filings, and verified outbound testing. Methodology & sources · Updated July 2026.

Frequently Asked Questions

What technology does Lean FRO use?

Lean FRO uses Gmail, Google Apps, Amazon AWS, Mobile Friendly, Nginx, Google Workspace, and 2 more technologies. This data is sourced from StackWho's technology detection engine.

How do I contact the decision makers at Lean FRO?

StackWho has verified email addresses for 1 decision maker at Lean FRO. Pro members can access direct emails for the CEO, CTO, VP of Engineering, and other key contacts. Use StackWho to reach Lean FRO directly for sales, recruiting, or partnerships.

What industry is Lean FRO in?

Lean FRO operates in the information technology & services industry, headquartered in Redmond, Washington, United States. StackWho tracks technology stacks and decision maker contacts for companies across all industries.

Can I export Lean FRO's contact data?

Yes. StackWho Pro members can export decision maker contact data for Lean FRO and similar companies to CSV. Use the export feature to build targeted prospect lists segmented by technology stack, industry, or location.