Top New Best Ask Show Jobs

PlusPy: Python Interpreter for TLA+ Specifications | Hacker News Reader

PlusPy: Python Interpreter for TLA+ Specifications

discuss.tlapl.us

4 points·lemmster··1 comment

Open articleView on HN

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

Reply on news.ycombinator.com