Community
- Join the chat in the Telegram group or in the Zulip stream
- Join the Quint discussions on GitHub
- Contribute your spell to the collection of Quint spells
- Contribute 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.
Last updated on