Verus is a tool for verifying the correctness of code written in Rust
3 points
1 hour ago
| 0 comments
| verus-lang.github.io
| HN
No one has commented on this post.