Hacker News Logo

Offline

dayweek

Verus is a tool for verifying the correctness of code written in Rust

9 points|verus-lang.github.io|
fanf2|2day