# Summary

* [Getting started](README.md)
* [Installation](installation/README.md)
* [Tutorial](tutorial/README.md)
* [User manual]()
* [Reference manual](reference-manual/README.md)
    * [cbmc-starter-kit-setup](reference-manual/cbmc-starter-kit-setup.md)
    * [cbmc-starter-kit-setup-proof](reference-manual/cbmc-starter-kit-setup-proof.md)
    * [cbmc-starter-kit-setup-ci](reference-manual/cbmc-starter-kit-setup-ci.md)
    * [cbmc-starter-kit-update](reference-manual/cbmc-starter-kit-update.md)
    * [cbmc-starter-kit-migrate-license](reference-manual/cbmc-starter-kit-migrate-license.md)
* [Frequently asked questions]()
* [Resources](resources/README.md)
* [Contributing](contributing/README.md)