founders.io ⌕
Companies Founders Investors Startup mafias Connection finder Y Combinator Unicorns 🦄 Data & downloads About Contribute
T
Company · Enterprise Software

Theorem

Program verification so even your systems engineers can vibecode

Private Y Combinator · Spring 2025 Founded 2025 San Francisco USA Enterprise Software
Website ↗ Suggest an edit

Founders

4
A
Abeer Agrawal
Founder/CTO
 H
Hugh Edmundson
Founder/Managing Partner
 J
Jason Gross
Founder
 R
Rajashree Agrawal
Founder

The Theorem diaspora

2 companies

People who worked at or founded Theorem and went on to start their own companies.

A 1 founded
Levro 2021
J 1 founded
Petal 2016

More in Enterprise Software

All Enterprise Software →
I
Instabase
Enterprise Software · USA
Private 🦄 UnicornFounded 2015
C
Cohesity
Enterprise Software · USA
Private 🦄 UnicornFounded 2013
C
Compass RE
Enterprise Software · United States
Private 🦄 UnicornFounded 2012
B
bKash
Enterprise Software · Bangladesh
Private 🦄 UnicornFounded 2010
N
Nutanix
Enterprise Software · USA
Public 🦄 UnicornFounded 2009
S
Slack
Enterprise Software · USA
Acquired 🦄 UnicornFounded 2009
B
Box
Enterprise Software · USA
Public 🦄 UnicornFounded 2005
S
Sherpa
Enterprise Software · USA
Private YC S26Founded 2026