Verus is a tool for verifying the correctness of code written in Rustverus-lang.github.io80 pointsfanf22 months ago