Could it be the case that the link (http://msr-inria.inria.fr/~doligez/tlaps/) to the tla proof system is currently inactive?
(It is provided in the downloading section, 2nd link below.)
On Thursday, April 18, 2013 8:07:33 PM UTC+2, Leslie Lamport wrote:
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.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at http://groups.google.com/group/tlaplus?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.