Kani Book Documentation Improvements#4296

Merged

tautschnig merged 14 commits intomodel-checking:mainfrom

carolynzech:mdbook-updates

Aug 13, 2025

Commits on Aug 12, 2025

list subcommand documentation
Carolyn Zech
committed
update regression testing docs
Carolyn Zech
committed
document experimental support for uninit memory
Carolyn Zech
committed
add other kani attributes
Carolyn Zech
committed
add note about reference section to tutorial
Carolyn Zech
committed
document the Arbitrary trait
Carolyn Zech
committed
add chapter about debugging slow proofs
Carolyn Zech
committed