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:
0
Downloads last week:
11
Downloads last month:
51
7-day smoothing