tla+-toolbox

Install command:

brew install --cask tla+-toolbox

Name: TLA+ Toolbox

IDE for TLA+

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

Cask JSON API: /api/cask/tla+-toolbox.json

Cask code: tla+-toolbox.rb on GitHub

Current version: 1.7.4

Former tokens: tla-plus-toolbox

Current version requires: macOS >= 10.11

tla+-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+-toolbox`	39
Installs (90 days)
`tla+-toolbox`	129
Installs (365 days)
`tla+-toolbox`	472