Verus is a tool for verifying the correctness of code written in Rust
Posted 2 hours ago by
fanf2
3
points
https://verus-lang.github.io/verus/guide/
0
comments