OpenNavo
Homebrew has disabled this package: No version update for more than 90 days

TLA+ Toolbox

A macOS IDE for TLA+ tools, with specification editing, PlusCal translation, TLC model checking, trace exploration, and proof-system support.

CaskDeveloper ToolsApple silicon · IntelDisabled
Homepage
From homebrew/cask
30-day installs54
1-year installs679Last 365 days
Latest version1.7.4Aug 5, 2024 · Aug 5, 2024
Download size179MBarm64 / x86_64 · zip
Release cadenceIrregular0 releases in 30 days
Tap
homebrew/cask
Also known as
TLA+ Toolbox · tla-plus-toolbox · tla+-toolbox
Download URL
github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip
SHA-256
258677703e28a65d…
Homebrew definition
github.com/homebrew/homebrew-cask/blob/HEAD/Casks/t/tla+-toolbox.rb
formulae.brew.sh
formulae.brew.sh/cask/tla+-toolbox
Source code
github.com/tlaplus/tlaplus

Installation and removal contents

  • Install app

    Source file: TLA+ Toolbox.app

    Declared destination: /Applications/TLA+ Toolbox.app

    View full declaration
    {
  "app": [
    "TLA+ Toolbox.app"
  ],
  "target": "/Applications/TLA+ Toolbox.app"
}