Developing provably correct Rust code with Verus

 (amazon.science)

13 points | by Betelbuddy 2 days ago

0 comments