Developing provably correct Rust code with Verus

Posted 3 days ago by Betelbuddy
103 points

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

6 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..