Workbrew catalog

Cask

tla+-toolbox

IDE for TLA+

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

brew install --cask tla+-toolbox

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing