Python interpreter for TLA+ specifications - View it on GitHub