This repository accompanies Practical TLA+ by Hillel Wayne (Apress, 2018).
Download the files as a zip using the green button, or clone the repository to your machine using Git.
Release v1.0 corresponds to the code in the published book, without corrections or updates.
See the file Contributing.md for more information on how you can contribute to this repository.