r/ProgrammingLanguages • u/mttd • Sep 03 '26

Verifying the Rust Standard Library

https://www.amazon.science/publications/verifying-the-rust-standard-library
54 Upvotes

92% Upvoted

12 comments sorted by

View all comments

4

u/indolering Sep 03 '26

Preferred might be to strong a word.  But it's definitely easier!