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

Version history of source/docs/guide/src/reference-assert-forall-by.md

June 2026

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

June 2023

Travis Hance
a bit of assert reference material
committed