Theorem

@theoremlabs

Accelerate software verification. theorem.dev/careers

San Francisco

Theorem
@theoremlabs
Sep 29
What would it take to formally verify all the software a real system runs on? We modeled one ecosystem: nixpkgs, with 28,650 packages and 154 GB of machine code. theorem.dev/blog/verified-…
4
Theorem
@theoremlabs
Feb 11
1/ We're open-sourcing LF-Lean: a verified Lean translation of 6K lines of Rocq from the Logical Foundations textbook, produced by AI with 2 person-days of human coding vs the 2.75 person-years it would have been before AI.
3