This is your work, valued
The Verus verification project. Logo usage info at https://verus-lang.github.io/verus/verus/logo.html
