Skip to content

Latest commit

 

History

History
24 lines (20 loc) · 938 Bytes

README.md

File metadata and controls

24 lines (20 loc) · 938 Bytes

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.