GitHub repository: owickstrom/tlaplus-cli-template
Primary language: Makefile
Created: 2019-04-27T13:59:40Z
Description: CLI-driven TLA+ project template