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

ffanf2 2 days ago 3 commentsRead Article on verus-lang.github.io

DE version is available. Content is displayed in original English for accuracy.

Discussion (3 Comments)Read Original on HackerNews

suobset•about 2 hours ago

I just attended a talk at Northeastern (Boston) on Verus, it's genuinely amazing. I have been using it on my own Rust codebases for a while, and it has made me think deeper about the structure and semantics of Rust code.

isubasinghe•about 2 hours ago

Oh hey I worked on this :)

esafak•about 2 hours ago

https://github.com/verus-lang/verus