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

(verus-lang.github.io)

4 points | by fanf2 14 hours ago ago