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.
더 보기
