tla+-toolbox

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

Name: TLA+ Toolbox

IDE for TLA+

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

Development: Pull requests

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

Requirements: macOS >= 10.15

Analytics:

Installs (30 days)
tla+-toolbox 102
Installs (90 days)
tla+-toolbox 242
Installs (365 days)
tla+-toolbox 662