tlaplus-toolbox

IDE for the TLA+ tools.

🔗 http://lamport.azurewebsites.net/tla/toolbox.html

📜 App manifest

Current version: 1.7.1

Bucket: extras

License: MIT

Installation

scoop install tlaplus-toolbox