Community
- Join the chat in the Telegram group (opens in a new tab) or in the Zulip stream (opens in a new tab)
- Join the Quint discussions on GitHub (opens in a new tab)
- Contribute your spell (opens in a new tab) to the collection of Quint spells
- Contribute (opens in a new tab) to the development of Quint
- Join our co-design meetings: We hold fortnightly meetings with users and those interested in contributing to the design and development of Quint. Contact us if you would like an invitation.