TLA+ Proof System

Developers

TLAPS is developed as part of the TLA Proof System project at the Microsoft Research–Inria joint centre in Paris, France. The members of this project who contributed to the development of TLAPS include:

INRIA

Current members

Former members

Bhargav Bhatt (INRIA Nancy)
Kaustuv Chaudhuri (Inria Saclay)
Denis Cousineau (MSR-INRIA)
Tomer Libal
Daniel Ricketts (Brown University)
Jael Kriener
Martin Riener (TU Wien)
Jean-Baptiste Tristan (SEAS, Harvard University)
Hernán Vanzetto (INRIA Nancy / MSR-INRIA)
Simon Zambrovski

Microsoft Research