Theorem describes formal verification as proving specified properties across all possible executions, with proofs that can be checked in CI. Its public site says the company automates the creation of CI-checkable proofs from properties supplied by users. The open-source release makes the named proof, semantics, and skill artifacts available for reuse.
The supplied release material identifies the published components but does not provide a release version, license terms, supported languages, supported libraries, or installation instructions. It also does not establish the separate claim that Anthropic and Theorem formally verified 123 open-source libraries at the RISC-V assembly level.
Source: https://github.com/theorem-labs/oss-verify