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

4 points by lemmster 6y ago ↗ HN

1 comment

[ 7.8 ms ] story [ 97.3 ms ] thread

lemmster 6y ago ↗

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