> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/kontrol/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.runtimeverification.com/kontrol/overview.md).

# Overview

- [Kontrol](https://docs.runtimeverification.com/kontrol/overview/readme.md): Kontrol your smart contracts with formal verification made simple
- [The significance](https://docs.runtimeverification.com/kontrol/overview/readme/the-significance.md): Why Formal Verification with Kontrol?
- [Installations](https://docs.runtimeverification.com/kontrol/overview/readme/installations.md): Everything you need to install