Verus is a tool for verifying the correctness of code written in Rust
(verus-lang.github.io)
55 points
by fanf2
3 days ago |
10 comments
()
()
()
()
()
()
()
()
