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

Version history of source/docs/guide/src/reference-is.md

June 2026

Travis Hance
Flesh out the reference section for spec expressions (#2467)
committed