V verus-lang.github.io Verus is a tool for verifying the correctness of code written in Rust 80 points fanf2 6 months ago 12 comments
