Loading organizations...
Loading organizations...
Software company developing models to verify and correct code.
Theorem has raised $6.0M across 1 funding round.
Theorem has raised $6.0M in total across 1 funding round.
Theorem has raised $6.0M in total across 1 funding round.
Theorem's investors include Khosla Ventures, E14 Fund, Halcyon Venture Partners, SAIF Partners, Y Combinator.
Theorem has raised $6.0M across 1 funding round. Most recently, it raised $6.0M Seed in January 2026.
| Date | Round | Lead Investors | Other Investors |
|---|---|---|---|
| Jan 29, 2026 | $6.0M Seed | Khosla Ventures | E14 Fund, Halcyon Venture Partners, SAIF Partners, Y Combinator |