YHacker Newsscreenshots

verus-lang.github.io on Hacker News

1 story on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of verus-lang.github.io: Verus is a tool for verifying the correctness of code written in Rust

Verus is a tool for verifying the correctness of code written in Rust (verus-lang.github.io)

60 points by fanf2 6 months ago | 11 comments