{"acquisitions":[],"changes":[{"companyHref":"/c/theorem-dev","date":"2026-09-24","documentUrl":"https://www.ycombinator.com/companies/theorem-2","domain":"theorem.dev","fact":"provenance:description","name":"Theorem","new":{"publisher":"Y Combinator","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"},"old":{"publisher":"theorem.dev","status":"self-reported","url":"https://theorem.dev"},"publisher":"Y Combinator","reason":null,"retrievedAt":"2026-09-17","slug":"theorem-dev","status":"sourced","url":"https://whoraisedwhat.com/c/theorem-dev"},{"companyHref":"/c/theorem-dev","date":"2026-09-24","documentUrl":"https://www.ycombinator.com/companies/theorem-2","domain":"theorem.dev","fact":"provenance:existence","name":"Theorem","new":{"publisher":"Y Combinator","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"},"old":{"publisher":"theorem.dev","status":"self-reported","url":"https://theorem.dev"},"publisher":"Y Combinator","reason":null,"retrievedAt":"2026-09-17","slug":"theorem-dev","status":"sourced","url":"https://whoraisedwhat.com/c/theorem-dev"}],"country":"US","description":"Program verification so even your systems engineers can vibecode","domain":"theorem.dev","employees":null,"founded":2025,"fundingTotalQuarantined":false,"githubOrg":null,"githubStars":null,"industry":"unknown","industrySources":[],"investors":[],"lat":37.787936,"lng":-122.40752,"location":"San Francisco, CA, USA","multiples":[],"name":"Theorem","people":[{"name":"Jason Gross","role":"ceo","slug":"jason-gross"},{"name":"Jason Gross","role":"founder","slug":"jason-gross"},{"name":"Rajashree Agrawal","role":"founder","slug":"rajashree-agrawal"}],"revenues":[],"rounds":[{"amountQuarantined":false,"amountUsd":1000000,"connectionsAmong":[],"currency":"USD","date":"2025-04-01","investments":[],"investors":[],"leadInvestor":null,"leadInvestors":[],"people":[],"slug":"theorem-dev-2025-04-01-seed","source":{"fact":"round","publisher":"yc","retrievedAt":"2026-05-08","status":"attributed","url":null},"status":"attributed","type":"seed","url":null}],"slug":"theorem-dev","sources":[{"fact":"round","publisher":"yc","retrievedAt":"2026-05-08","status":"attributed","url":null},{"fact":"existence","publisher":"Y Combinator","retrievedAt":"2026-09-17","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"},{"fact":"description","publisher":"Y Combinator","retrievedAt":"2026-09-17","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"}],"stage":"seed","stockCard":{"asOf":"2026-11-09","description":{"sources":[{"fact":"description","publisher":"Y Combinator","retrievedAt":"2026-09-17","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"}],"value":"Program verification so even your systems engineers can vibecode"},"facts":[{"id":"description:Program verification so even your systems engineers can vibecode","kind":"description","sources":[{"fact":"description","publisher":"Y Combinator","retrievedAt":"2026-09-17","status":"sourced","url":"https://www.ycombinator.com/companies/theorem-2"}],"text":"Program verification so even your systems engineers can vibecode"}],"generatedAt":"2026-11-09","state":"insufficient-evidence","tldr":[]},"techStack":["Cloudflare","Hugo 0.147.3"],"totalRaisedUsd":1000000,"traction":[],"updatedAt":"2026-09-29","valuations":[]}