tla-plus-toolbox
Install command:
brew install --cask tla-plus-toolboxName: 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
Conflicts with casks:
| homebrew/cask-versions/tla-plus-toolbox-nightly |
Analytics:
| Installs (30 days) | |
|---|---|
tla-plus-toolbox |
32 |
| Installs (90 days) | |
tla-plus-toolbox |
93 |
| Installs (365 days) | |
tla-plus-toolbox |
435 |
