GitHub repository: monperrus/alloy-quick-reference
Primary language: TeX
Created: 2015-04-03T07:29:42Z
Description: A helper document about the Alloy specification language