Developing provably correct Rust code with Verus

110 points

by Betelbuddy

2 days ago

18 comments