verus
forked from verus-lang/verus
Star 0
Fork 0
Watch

Version history of source/docs/guide/src/projects.md

June 2026

Bryan Parno
Add documentation about `cargo verus` (#2535)
committed