18 March 2014 - Tools for Proofs

New release of the TLA+ tools

We are pleased to announce a new release of the TLA+ Toolbox (version 1.4.8) and the TLA+ Proof System (version 1.3.0).

This new version supports a PTL back-end, so you can now start doing Temporal Logic proofs in addition to the Set Theory and First-Order Logic supported by previous versions.