Tag: formal-verification

All the articles with the tag "formal-verification".

• Claude Wrote 180 Million Lines of Rocq to Verify 123 Libraries

  23 Oct, 2026

  Anthropic and Theorem used Claude to produce assembly-level formal proofs for 239 fuzz-test entry points across 123 OSS-Fuzz libraries. The scale is real; what the proofs guarantee is narrower than the headline suggests.