PlusPy: Python Interpreter for TLA+ Specifications (discuss.tlapl.us)

4 points by lemmster 6y ago ↗ HN

1 comment

[ 2.5 ms ] story [ 13.9 ms ] thread

lemmster 6y ago ↗

Direct link to Github repo: https://github.com/tlaplus/PlusPy