©RillNews
new
show
ask
jobs
submit
login
Verus is a tool for verifying the correctness of code written in Rust
verus-lang.github.io
48 points by
fanf2
2 days ago
|
8 comments
add comment