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, General Partner at Y Combinator — 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 · 2
Co-founders at Theorem
JG
Jason GrossFounder