Rajashree Agrawal
FounderFounder at Theorem
San Francisco, California, United States
FoundedTheorem · YC
About
Rajashree Agrawal is the founder of Theorem.dev, which provides AI-powered translation tools for converting formal mathematical proofs between proof assistants.
Founder at TheoremYC X25
Intro paths
YC
Rajashree went through Y Combinator (Spring 2025) — any YC alum in your network can reach them through the YC community.
GP
Their group partner at YC was Tom Blomfield, Monzo and GoCardless co-founder; Y Combinator partner on leave and Anthropic compute-team member. — the partner who ran Theorem's batch and knows the company first-hand. YC profile ↗
→
In turn, Rajashree can intro founders to Theorem's investors below.
Theorem's investors · 4
Co-founders at Theorem
JG
Jason GrossFounder
Experience
- TheoremCo-foundercurrent2025 — presentSan Francisco Bay Area
Frequently asked questions
- Who is Rajashree Agrawal?
- Rajashree Agrawal is the founder of Theorem.dev, which provides AI-powered translation tools for converting formal mathematical proofs between proof assistants.
- Where does Rajashree Agrawal work?
- Rajashree Agrawal is Founder of Theorem.
- What companies did Rajashree Agrawal found?
- Rajashree Agrawal founded Theorem.
Founder mafias
Y Combinator mafia8,773
Also came through, then founded or led a company.
Sam AltmanPresidentFounded Tools for Humanity +3Jessica LivingstonCo-founderFounded Y CombinatorAlexis OhanianYC Summer 2005Founded RedditFred EhrsamYC Summer 2012Founded Nudge +1Matt HuangYC Winter 2011Founded HotspotsTrae StephensYC Winter 2022Founded Pursuit +1
+ 8,766 more