The TLA+ Proof Manager (`tlapm`)

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.

Name		Name	Last commit message	Last commit date
Latest commit History 417 Commits
.github		.github
deps		deps
doc		doc
examples		examples
examples_draft		examples_draft
isabelle		isabelle
library		library
misc/tla_mode		misc/tla_mode
src		src
test		test
tools		tools
translate		translate
zenon		zenon
.gitignore		.gitignore
.merlin		.merlin
.nojekyll		.nojekyll
CNAME		CNAME
INSTALL.md		INSTALL.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
hints.txt		hints.txt
index.html		index.html
tlapm.opam		tlapm.opam
tlapm.opam.template		tlapm.opam.template
todo.txt		todo.txt

License

tlaplus/tlapm

Folders and files

Latest commit

History

Repository files navigation

The TLA+ Proof Manager (tlapm)

Installation

Use

About

Resources

License

Code of conduct

Stars

Watchers

Forks

Languages

The TLA+ Proof Manager (`tlapm`)