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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2026

Travis Hance
docs: fix a few broken links (#2441)
committed

June 2025

Natalie Neamtu
Merge branch 'main' into zero-to-nat/docs-retreat-2025
committed
Chris Hawblitzel
Merge branch 'main' into loop-infer-base
committed
Andrea Lattuada
Merge pull request #1653 from verus-lang/proof-in-spec
committed
Bryan Parno
Update the guide's discussion about how to prove termination.
committed

May 2025

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

September 2022

Chris Hawblitzel
Add more to docs/guide
committed