TLA+ Toolbox
Published by TLA+ Foundation
TLA+ Toolbox is an IDE (integrated development environment) for the TLA+ tools
Open sourceMIT
Where to get it
Linux
- Open on FlathubOpens in a new tabPackage repositoryFlathub
From the publisher
Install from a terminal
flatpak install flathub org.lamport.tla.toolbox
We do not host this file, we do not scan it and we do not inspect its contents. Read what the source says, then decide for yourself.