Fundraising FoxSAIF — Full Portfolio
4 tracked investments · listed companies and verified rows first
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)inRajashree Agrawal(CTO)inAbeer Agrawal(Founder)inHugh Edmundson(Founder)in
Co-investorsY CombinatorBatch VenturesBlast.ClubDCVC (Data Collective)Eight CapitalFAST — by GETTYLAB+6 more
Theorem Labs develops formal verification technology for software, producing mathematical proofs that cover a program's full behavior space, beginning with verified sandboxes designed to contain AI agents.
AI & Machine LearningCybersecurityDeveloper Tools
Jason Gross(Founder)in
Co-investorsEight CapitalPioneerThe E14 FundHalcyonKhosla VenturesY Combinator
India's leading K-12 tutoring app
Zishaan Hayath(Founder)inHemanth Goteti(Founder)
Co-investorsElevation CapitalKaizenvestAlteria CapitalEight Roads VenturesHelion Venture PartnersKaizen Private Equity
VANCL is an online apparel retailer selling men's wear, women's wear, shoes, children's clothing, and home goods under its own brand.
ConsumerDirect to ConsumerE-commerceBeijing, CN
Co-investorsQiming Venture PartnersCeyuan VenturesIDG CapitalLegend CapitalTemasekTiger Global Management
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.