Developing provably correct Rust code with Verus (via rajtilakjee) — discussion

#rust