Verus is a tool for verifying the correctness of code written in Rust

Why it matters

This signals a broader shift in verus. The real question is whether tool moves the needle for practitioners.