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

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

October 2026

Travis Hance
Guide typos (#3340)
committed

May 2025

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

January 2025

Bryan Parno
Minor fixes to induction documentation
committed

September 2022

Chris Hawblitzel
Add more to docs/guide
committed