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

(verus-lang.github.io)

3 points | by fanf2 8 hours ago ago

No comments yet.