Developing provably correct Rust code with Verus

(amazon.science)

1 points | by shortj 9 hours ago ago