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

4 points by lemmster 6y ago ↗ HN

1 comment

[ 2.7 ms ] story [ 16.5 ms ] thread

lemmster 6y ago ↗

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