Verus is a tool for verifying the correctness of code written in Rustverus-lang.github.io
48 points by fanf2 2 days ago | 8 comments