With the release of version 1.4.6, the TLA+ Toolbox and the TLA+ Tools have
become an open source project. The source code is available as the CodePlex
tlaplus project at
The executables are available via new links on these web pages:
Stand-alone tools: http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html#downloading
The source and the executables are now distributed under the MIT License.
Now that it is an open source project, anyone can contribute code. Contact us if
you're interested in doing that.