tla

PyPI page
Home page
Author: Ioannis Filippidis
License: BSD-3-Clause
Summary: Parser and syntax tree for TLA+, the temporal logic of actions.
Latest version: 0.0.4
Required dependencies: parstools

Downloads last day: 10
Downloads last week: 22
Downloads last month: 81