Developing provably correct Rust code with Verus

(amazon.science)

2 points | by Betelbuddy 5 hours ago ago