News

1 December 2012 - Tools for Proofs

A New Release of the TLA+ Proof System

TLA+ Proof System version 1.1.1 is available from http://tla.msr-inria.inria.fr/tlaps