Theorem
YC X25San Francisco, US · Founded 2025 · 4 employees · 2 known investors
Theorem.dev provides verified software engineering through lf-lean, an AI-powered translation tool that converts formal mathematical proofs from Rocq to Lean significantly faster than manual translation.
Founders & leadership· Y Combinator alumni (X25)
Jason Grossin𝕏Founder
Investors · 2
In the news
- Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it | VentureBeatventurebeat.com · 2026
- Theorem Secures $6 Million Seed Funding Led by Khosla Ventures to Fix the Reliability Problem in AI Coding | Radical Data Scienceradicaldatascience.wordpress.com · 2026
- KBRA Assigns Preliminary Ratings to Theorem Funding Trust 2023-1businesswire.com · 2023
- Theorem Funding Trust comes to market with $292.6 million in ABS | Asset Securitization Reportasreport.americanbanker.com · 2022
- Theorem - 2025 Funding Rounds & List of Investors - Tracxntracxn.com · 2021