Exploring Rust Verification
Let's dive into the details surrounding Rust Verification.
- With Xavier Denis!
- Deploying
- Slides: ...
- Conference website: https://leanprover-community.github.io/lt2026/ Full schedule: ...
- Zac Hatfield-Dodds presents “Formal
In-Depth Information on Rust Verification
The Jonathan Blow's Twitch: https://www.twitch.tv/j_blow Tip me: https://ko-fi.com/blowfan Programmer and game designer Jonathan ... Abstract: We are building Verus, a new tool for semi-automatic Rust
Alex Summers.
That wraps up our extensive overview of Rust Verification.
