About

A collection of Python tools for working with TLA+ specifications:

tlapy.proof_graph: convert TLA+ theorems and proofs to a graph
tlapy.tla_depends: plot a graph of TLA+ module dependencies
tlapy.tla2pdf: typeset TLA+ specifications using tla2tex.TLA
tlapy.tla2tex_tex: convert TLA+ to LaTeX using tla2tex.TeX, then extract the result
tlapy.utils.balance_hrules: rewrite title and horizontal rules to fill the column width
tlapy.utils.join_modules: concatenate PDF files of TLA+ modules
tlapy.utils.remove_proofs: remove proofs from a TLA+ file to create a "header"
tlapy.utils.renumber_proof_steps: proof step numbering in a TLA+ module so that step numbers are in increasing order
tlapy.utils.replace_even_backticks: converts inline Markdown code blocks to TLA inline code blocks

License

BSD-3, see LICENSE file.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
tests		tests
tlapy		tlapy
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
MANIFEST.in		MANIFEST.in
README.md		README.md
setup.cfg		setup.cfg
setup.py		setup.py