Command line binaries for the TLA+ language - View it on GitHub