GitHub repository: pmer/tla-bin
Primary language: Shell
Created: 2017-05-25T07:38:41Z
Description: Command line binaries for the TLA+ language