# Resources

Join the Community on [Discord](https://discord.gg/CurfmXNtbN)! If you have questions, feedback, or problems we would love to hear from you and offer support.

### Videos

### Blogs and Other Resources

Did you see a typo somewhere in the Gitbook? Click the three dots on the page to suggest an edit on [Github](https://github.com/runtimeverification/gitbook-komet)!