GitHub repository: model-checking/rust-std-verification
Description: Verifying the Rust standard library