Developing provably correct Rust code with Verus

(amazon.science)

4 points | by matt_d 2 days ago ago