The TLA+ Proof Manager (tlapm)

Copyright (C) 2008-2013 INRIA and Microsoft Corporation

Authors: \     Kaustuv Chaudhuri \     Denis Cousineau \     Damien Doligez \     Leslie Lamport \     Tomer Libal \     Stephan Merz \     Jean-Baptiste Tristan \     Hernan Vanzetto

License: 2-clause BSD, portions under LGPL2.1+LE (see file LICENSE for details)

Installation

For installation instructions, see the file INSTALL.md in this directory.

Use

Some user documentation is in the form of HTML files in the directory doc/web. Start with doc/web/index.html.

Tags of the form vI.J.K in the git repository are releases. Other tags may be ephemeral.