> 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/tips.md).

# Tips

- [Debugging Failing Proofs](https://docs.runtimeverification.com/kontrol/tips/debugging-failing-proofs.md): Tips and tricks for running Kontrol and debugging failing proofs