Rust Foundation Blog
The Rust Foundation published a blog post on our work, How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering, based on our NFM 2026 paper.
The Rust Foundation published a blog post on our work, How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering, based on our NFM 2026 paper.