Rajashree Agrawal
FounderFounder at Theorem
San Francisco, California, United States
FoundedTheorem · YC
Find your path to Rajashree
1 people in our graph share verified history with Rajashree — schools, employers, funds. One of them is your warm intro.
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
Rajashree went through Y Combinator (Spring 2025) — any YC alum in your network can reach them through the YC community.
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
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 mafia10,230
Also came through, then founded or led a company.
+ 10,223 more