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
Analytics:
Installs (30 days) | |
---|---|
tla-plus-toolbox |
1 |
Installs (90 days) | |
tla-plus-toolbox |
64 |
Installs (365 days) | |
tla-plus-toolbox |
545 |