Ловим кота с TLA+

[Quester]

Так и не понял, кота-то в итоге нашли? Котик накормлен?

[EgZvor]

Если хотите изучать TLA+ советую почитать HIllel Wayne, у него есть несколько статей в блоге, и книга Practical TLA+.

[EgZvor]

Сейчас заметил, что одна из ссылок как раз и ведёт на его гайд.

[JakUi]

Оффтоп: у вашей компании жутко бесячий логотип. Специально так сделали?

[nikolay_waves]

:(