[dotancohen]

Update: It seems that TLA+ does have good documentation, just not on the project homepage. This page has an excellent, very convincing short summary and use case with code: https://learntla.com/introduction/