Command line binaries for the TLA+ language. Contribute to pmer/tla-bin development by creating an account on GitHub.