GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → tlaplus → Tlapm

tlaplus / Tlapm

Licence: bsd-2-clause
The TLA Proof Manager

Programming Languages

ocaml
1615 projects

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 LICENSE for details)

  1. Installation

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

  1. Use

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

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].