A collection of various TLA+ examples and helper functions for learning. - View it on GitHub