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

[fanf2]

Article URL: https://verus-lang.github.io/verus/guide/

Comments URL: https://news.ycombinator.com/item?id=47840252

Points: 59

# Comments: 11