tla-plus-toolbox

Install command:
brew cask install 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.0

Conflicts with casks:

homebrew/cask-versions/tla-plus-toolbox-nightly

Analytics:

Installs (30 days)
tla-plus-toolbox 32
Installs (90 days)
tla-plus-toolbox 113
Installs (365 days)
tla-plus-toolbox 485
Fork me on GitHub