Y
Hacker News
new
|
ask
|
show
|
jobs
PlusPy: Python Interpreter for TLA+ Specifications
(
discuss.tlapl.us
)
4 points
by
lemmster
2249 days ago
1 comments
lemmster
2249 days ago
Direct link to Github repo:
https://github.com/tlaplus/PlusPy
link