By impadmin, May 10, 2020 Posted in: Brew Install mac, cask

This article explains the steps to install TLA+ Toolbox on MAC OSX using homebrew cask

  • App Name – TLA+ Toolbox
  • App Version – 1.7.0
  • App url – https://lamport.azurewebsites.net/tla/toolbox.html
  • App dmg file – packagedmglink
  • App appcast link – https://github.com/tlaplus/tlaplus/releases.atom

Steps To Install TLA+ Toolbox

  • Open Spotlight search using “command + space” button and type “Terminal“. Then press “return/enter” key. This will open terminal.

    spotlight search terminal

  • Run the following command in terminal to install brew cask

    ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null ; brew install caskroom/cask/brew-cask 2> /dev/null

    Install brew cask on mac

  • Now install TLA+ Toolbox with the following command

    brew install --cask tla-plus-toolbox

  • TLA+ Toolbox is installed now and ready to use!