Theorem
@theoremlabs
Accelerate software verification.
参加 May 2025
2 フォロー中 743 ファン
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.
もっと見る
