Developing provably correct Rust code with Verus

2 points | by Betelbuddy 5 hours ago