1 articles with this tag
Anthropic says Claude wrote 180M lines of Rocq to prove 239 entry points across 123 libraries will not crash on RISC-V under 64 MB inputs.
