Developing provably correct Rust code with Verusamazon.science
86 points by Betelbuddy 3 days ago | 11 comments