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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

March 2026

Chris Hawblitzel
Merge branch 'main' into make_spec_type
committed

October 2025

Bryan Parno
Merge the rest of the Project Goals markdown file into the Verus Guide.
committed

January 2023

Chris Hawblitzel
Fix typo in docs/guide
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed
Chris Hawblitzel
Add more to docs/guide
committed
Travis Hance
add a few more aspirational ToC items, some notes
committed
Travis Hance
add docs/guide; add generated docs to gitignore
committed