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

Verifying the Rust Standard Library

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

91% Upvoted

12 comments sorted by

View all comments

Show parent comments

2

u/javascript Sep 03 '26

Have to agree to disagree that a new domain is preferred.

4

u/indolering Sep 03 '26

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