Log in to Zulip
Alloy Users Group
https://alloyusers.zulipchat.com
This unofficial users group is a place to gather and discuss Alloy, the formal modeling language and tool set.
Ask questions, share tips, and collaborate!