Developing provably correct Rust code with Verus

 (amazon.science)

164 points | by Betelbuddy 6 days ago ago

80 comments