Brew Install TLA+ Toolbox version 1.7.4 on Mac

Command line

To manually install TLA+ Toolbox with Homebrew, use the following command:

Current version of TLA+ Toolbox.app: 1.7.4

Download Links

ARM: https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip

Intel: https://github.com/tlaplus/tlaplus/releases/download/v1.7.4/TLAToolbox-1.7.4-macosx.cocoa.x86_64.zip

Website: https://lamport.azurewebsites.net/tla/toolbox.html