The blog post is too vague and not really helpful. This detailed 4-part series by user "pron" is far more comprehensive to understand and start with TLA+: http

The blog post is too vague and not really helpful. This detailed 4-part series by user "pron" is far more comprehensive to understand and start with TLA+: https://pron.github.io/posts/tlaplus_part1 https://pron.github.io/posts/tlaplus_part1