Some examples and notes while learning TLA+ modeling language. - View it on GitHub