Post

Thank you to Felipe Monteiro for sharing an update on the Rust Standard Library Verification Contest from AWS and the Rust Foundation at #rustconf earlier this morning! Learn more and get involved: lnkd.in/gjkfDJ8C github.com/model-checki...