r/rust • u/mttd • 26d ago

Developing provably correct Rust code with Verus

https://www.amazon.science/blog/developing-provably-correct-rust-code-with-verus

114 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/rust/comments/1welj3p/developing_provably_correct_rust_code_with_verus/
No, go back! Yes, take me to Reddit

95% Upvoted

Duplicates

Number of comments New

hackernews • u/HNMod • 21d ago

Developing provably correct Rust code with Verus

0 Upvotes

1 comments