/practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Primary LanguageTLAOtherNOASSERTION

Apress Source Code

This repository accompanies Practical TLA+ by Hillel Wayne (Apress, 2018).

Cover image

Download the files as a zip using the green button, or clone the repository to your machine using Git.

Releases

Release v1.0 corresponds to the code in the published book, without corrections or updates.

Contributions

See the file Contributing.md for more information on how you can contribute to this repository.