IDE for the TLA+ tools.
Publisher’s description
What is tlaplus-toolbox?
tlaplus-toolbox is open-source Windows software in the science & maths category. Besides Windows, it is available for Linux.
Installation and requirements
The publisher provides Portable installers for Any CPU Windows. It runs without installation (portable).
Pros / Cons
Pros
- Open source: the code can be inspected and built by anyone
- Portable: runs without installation
- Also runs on Linux
In short: tlaplus-toolbox is an open-source science & math tool for Any CPU PCs.
Key features
- Create and edit your specs, with the locations of parsing errors marked in the modules
- Run the PlusCal translator, with the locations of translation errors marked in the PlusCal code
- View the pretty-printed versions of your modules
- Run the TLC model checker. The Toolbox allows you to explorer an error trace produced by TLC—for example, by evaluating arbitrary formulas at each step in the trace
- Run the TLA+ proof system
AppStream · Flathub
Is tlaplus-toolbox safe to download?
- The file is served by github.com; check that it is the publisher’s official mirror
- The download link uses HTTPS
- No hash is published for this file
- The link has not been checked yet
- The source code is public
- ExeAtlas does not host, wrap or modify installers
Related guide: How to check a file’s SHA256 hash on Windows
Recent versions
All 1 versions ›| Version | Date | Size | Files |
|---|---|---|---|
| 1.8.0Latest | — | Any CPU ZIP |
Install from the command line
Silent install ›scoop install extras/tlaplus-toolboxProgram files (.exe): tlc.exe, toolbox.exe
Related guide: How to use winget: install and update apps
Also for other systems
flatpak install flathub org.lamport.tla.toolboxInformation
- Category
- Science & maths
- Licence
- MIT
- Price
- Free
- Content rating
- All ages
- Requires
- Windows 11 / 10
- Architecture
- Any CPU
- Installer
- Portable
- Other platforms
- Linux
- Version
- 1.8.0
- Versions listed
- 1
- Website
- lamport.azurewebsites.net
- Scoop package
- extras/tlaplus-toolbox
Ratings and reviews
No reviews yet. Be the first to rate it.
Alternatives to tlaplus-toolbox
See all ›-
Open source118K ↓ -
Open source126.7K ↓ -
Open source46K ↓ -
Qalculate!5.13.2A highly versatile desktop calculator, with support for units, physical constants, uncertainty propagation, symbolic calculations, etc.Open source50.3K ↓ -
Open source12.2K ↓ -
Open source17.7K ↓ -
Open source24.6K ↓ - scilab2025.0.0Scilab is free and open source software for numerical computation providing a powerful computing environment for engineering and scientific applications.Open source28.6K ↓
Frequently asked questions
Is tlaplus-toolbox free?
Yes. tlaplus-toolbox is open-source software under the MIT licence.
Is tlaplus-toolbox safe to download?
The download comes from github.com; ExeAtlas does not host or change the file.
Does tlaplus-toolbox run on ARM (Windows on Arm)?
The installer is architecture-neutral.
Can I use tlaplus-toolbox without administrator rights?
Yes, it is portable: unpack and run it.
What are alternatives to tlaplus-toolbox?
Stellarium, KiCad, Quarto, Qalculate! and JASP. The alternatives page compares them.
