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

Artifacts:

Artifact Type Platform
TLA+ Toolbox.app -> /Applications/TLA+ Toolbox.app App Default platforms
tla+-toolbox is built for Intel macOS and requires Rosetta 2 on Apple Silicon.
Install Rosetta 2 with softwareupdate --install-rosetta --agree-to-license. Rosetta 2 is difficult to remove once installed.

Analytics:

30 days90 days365 days
Installs37121667