Home > News > 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