英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.10 実践TLA+もくもく会 - connpass 第2章の途中から第3章の途中まで読んで試した。 PlusCal の複雑な振る舞い TLA+ の演算子と関数 TLC(モデルチェッカー)…