piwheels

tla

Parser and syntax tree for TLA+, the temporal logic of actions.

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install tla

Dependencies

• parstools

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.0.4	2025-12-24
tla-0.0.4-py3-none-any.whl (104 KB)
0.0.3	2025-11-30
tla-0.0.3-py3-none-any.whl (102 KB)
0.0.2	2024-06-20
tla-0.0.2-py3-none-any.whl (101 KB)
0.0.1	2020-10-21
tla-0.0.1-py3-none-any.whl (77 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue