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.