Infrastructure · company signal
Lean @leanprover
Lean is a dependently-typed programming language and theorem prover.
frontrun watches the follow graphs of 5,000+ tracked accounts on X. Lean was first flagged on 2026-02-28 - the moment tracked investors began converging on it. 17 of them follow today. that count is public; which investors they are, when each followed, and the daily change is what the product shows.
see who's behind the 17 follows on Lean, plus every company they follow next. start a 7-day free trial →
more infrastructure companies on the signal
Chronicle (16 tracked) · Fluent (16 tracked) · Exa Developers (17 tracked) · Zec Stats (17 tracked) · aomi labs (17 tracked) · Titan Builder (17 tracked) · Spire (17 tracked) · poddotnetwork (17 tracked)
data updated 2026-11-02 · trending infrastructure startups · trending this week · startups by sector