# komet

## komet

- [README](https://docs.runtimeverification.com/komet/readme.md)
- [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)
- [Resources](https://docs.runtimeverification.com/komet/learn-more/resources.md): If you want to learn more or get involved