tla

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

Installation

sudo pip3 install tla

Should I use sudo? pip or pip3?

Releases

Version Released Stretch
Python 3.5
Buster
Python 3.7
Bullseye
Python 3.9
Files
0.0.1 2020-10-21      

Issues with this package?

Page last updated 2022-03-28 16:00:54 UTC