TLA Toolbox: Mac 32-bit
An integrated development environment for writing and checking TLA+ specifications. Last published: February 28, 2013.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
1.4.5
Date Published:
12/15/2023
File Name:
TLAToolbox-1.4.5-macosx.cocoa.x86.zip
File Size:
48.4 MB
An integrated development environment for writing and checking TLA+ specifications.Supported Operating Systems
Macintosh
- Apple Macintosh OS X
- Click Download and follow the instructions.