A bunch of cool talks from the Rust Verification Workshop 2021 landed on 's YouTube channel – lots of interesting, varied approaches on display, it's exciting to see! youtube.com/playlist?list=
Conversation
Replying to
We still have a way to go to catch up to all the tooling that languages like C have, but I'm glad to see the active work going on in this space.
2