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

Theorem

Theorem was founded in 2025 in San Francisco, USA by Abeer Agrawal, Hugh Edmundson, Jason Gross and Rajashree Agrawal. It is an Enterprise Software company.

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

Theorem founders & co-founders

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

What happened to Theorem’s founders and alumni

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