TLA+ By Example

The main cool thing about this: you can run the TLA+ examples online in your browser!

Here's the TLA+ Google Group announcement and discussion: https://groups.google.com/g/tlaplus/c/O9ykKyujBR4

This is a terrific new educational resource.