tla-plus-toolbox

Install command: 
brew install --cask tla-plus-toolbox

Name: TLA+ Toolbox

IDE for TLA+

https://lamport.azurewebsites.net/tla/toolbox.html

/api/cask/tla-plus-toolbox.json (JSON API)

Cask code on GitHub

Current version: 1.7.1

tla-plus-toolbox is built for Intel macOS and so requires Rosetta 2 to be installed.
You can install Rosetta 2 with:
    softwareupdate --install-rosetta --agree-to-license
Note that it is very difficult to remove Rosetta 2 once it is installed.

Analytics:

Installs (30 days)
tla-plus-toolbox 28
Installs (90 days)
tla-plus-toolbox 88
Installs (365 days)
tla-plus-toolbox 423
Fork me on GitHub