英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 今回 2021.09 実践TLA+もくもく会 - connpass 冒頭から 45 ページ（第2章の途中）まで読んで試した。 TLA+ Toolbox の準備 サンプルコードの入力と実行 https://scrap…