Sign up for 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!

You need an invitation to join this organization.