Halcyon — 2026 Investments
2 investments dated 2026 · listed companies and verified rows first · show all
Theorem LP prices and purchases loan volume across multiple originators, connecting borrowers with credit access, originators with capital, and investors with loan evaluation data.
AI & Machine LearningFintechSan Francisco, US
Abeer Agrawal(Founder/CTO)inHugh Edmundson(Founder/Managing Partner)in
Co-investorsY CombinatorKhosla VenturesSAIF
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(Founder)inRajashree Agrawal(Founder)in
Co-investorsY CombinatorKhosla VenturesSAIF
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.