tla-plus-toolbox

Name: TLA+ Toolbox

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

/api/cask/tla-plus-toolbox.json (JSON API)

Cask code on GitHub

Current version: 1.5.7

tla-plus-toolbox requires Java 8. You can install it with: brew cask install homebrew/cask-versions/java8

Fork me on GitHub