Re:PlusPy: Python Interpreter for TLA+ Specifications
by lemmster on Tuesday April 21, 2020 @12:46AM
(#22931997)
Direct link to Github repo: https://github.com/tlaplus/PlusPy
[ Parent
| on HN ]