PyPI page
Home page
Author:
None
Summary:
Utilities for working with TLA+ state graphs
Latest version:
0.2.0
Optional dependencies:
py-d2
|
tree-sitter
|
tree-sitter-tlaplus
Downloads last day:
0
Downloads last week:
6
Downloads last month:
12