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

Version history of source/docs/guide/src/install-singular.md

October 2026

Máté Kovács
[vargo] feat: deprecate Vargo (#3105)
committed

September 2024

Travis Hance
guide: update bitvector prover section, move singular installation to its own chapter
committed