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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2025

nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

January 2023

Chris Hawblitzel
Remove guide comment about two quantifier instantiations, since it's unclear why Z3 makes two instantiations in the example.
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed