SAIF — 2026 Investments

1 investments dated 2026 · listed companies and verified rows first · show all

Theoremtheorem.dev in 𝕏Jan 2026 · $6M

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.

AI & Machine LearningDeveloper ToolsEnterprise SoftwareSan Francisco, US

Jason Gross(CEO)in Rajashree Agrawal(CTO)in Abeer Agrawal(Founder)inHugh Edmundson(Founder)in

Co-investorsY Combinator Batch Ventures Blast.Club DCVC (Data Collective)Eight Capital FAST — by GETTYLAB +6 more

Rows marked “SEC filing” are inferred from directors named on the company's SEC Form D — public regulatory data, not a portfolio list published by the firm.