Some experiments in making exercises for teaching TLA+
Do you want to download the README.md file for tlaplus-exercises?
