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

# Learn More

- [Resources](https://docs.runtimeverification.com/kontrol/learn-more/resources.md): Learning materials, community, and educational resources for Kontrol
- [Example Projects](https://docs.runtimeverification.com/kontrol/learn-more/example-projects.md): Code repositories, projects, and practical examples using Kontrol