Rust Foundation - Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries - discu.eu

Lobsters

Rust Foundation Collaborates With AWS Initiative to Verify Rust Standard Libraries https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/ 5 comments 21/11/2024 formalmethods , rust , testing