Python interpreter for TLA+ specifications - View it on GitHub
Star
117
Rank
268139