> For the complete documentation index, see [llms.txt](https://docs.runtimeverification.com/komet/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/komet/guides.md).

# Guides

- [Komet Example](https://docs.runtimeverification.com/komet/guides/komet-example.md): How to develop property tests with Komet
- [Cheat Functions](https://docs.runtimeverification.com/komet/guides/cheat-functions.md)