{"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":"ai","investors":[],"lat":37.787936,"lng":-122.40752,"location":"San Francisco, CA, USA","name":"Theorem","rounds":[{"amountQuarantined":false,"amountUsd":1000000,"currency":"USD","date":"2025-04-01","investors":[],"leadInvestor":null,"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","techStack":["Cloudflare","Hugo 0.147.3"],"totalRaisedUsd":1000000,"updatedAt":"2026-05-08"}