Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering

rustfoundation.org