verus-lang/verus

Verus is an open-source project that aims to provide a verified foundation for low-level systems code in Rust. It achieves this by leveraging formal verificatio