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