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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2025

Travis Hance
update setup instructions (#1656)
committed
nobody
Rename examples directory (rename source/rust_verify/example to examples)
committed

July 2023

Jay Lorch
Merge branch 'main' into breaking-proofs-into-pieces
committed
ahuoguo
New verification output (#676)
committed

April 2023

Andrea Lattuada
Merge branch 'main_new'
committed
Chris Hawblitzel (Microsoft)
Minor updates to docs (#533)
committed

September 2022

Andrea Lattuada
Update URLs after move to verus-lang GitHub org
committed
Chris Hawblitzel
Add more to docs/guide
committed
Chris Hawblitzel
Add more to docs/guide
committed
Chris Hawblitzel
Add outline to docs/guide
committed
Travis Hance
add docs/guide; add generated docs to gitignore
committed