A amazon.science Developing provably correct Rust code with Verus 164 points Betelbuddy 1 month ago 79 comments
