- Homepage
- About the Joint Centre
- Research Areas & Projects
- Researchers
- News & Events
- Open Positions
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.
