Workbrew Catalog

Cask

tla+-toolbox

IDE for TLA+

View on formulae.brew.sh

Name: TLA+ Toolbox
Version: 1.7.4
Homepage: https://lamport.azurewebsites.net/tla/toolbox.html
Installs (30 days): 37
Categories: Developer Tools
Tags: development

brew install --cask tla+-toolbox

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing