5 ms·PlusPy: Python Interpreter for TLA+ Specifications4 points by lemmster 6y agolemmster 6y agoDirect link to Github repo: https://github.com/tlaplus/PlusPy https://github.com/tlaplus/PlusPy