Developing provably correct Rust code with Verus

107 points

by Betelbuddy

2 days ago

12 comments