Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries (via mjb) — discussion

#formalmethods #rust #testing