4 ms·Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering2 points by matt_d 1mo ago