Tree @
master
(
Download .tar.gz
)
..
commentary
Papers.md
README.md
Repositories.md
Webpages.md
Repositories.md
@
master
—
view markup
·
raw
·
history
·
blame
TLA+ Repos
tlaplus/PlusPy: Python interpreter for TLA+ specifications
url: https://github.com/tlaplus/PlusPy
license: MIT
.