tlapy

Python tools for working with TLA+ specifications.


License
BSD-3-Clause
Install
pip install tlapy==0.0.0