英語のドキュメント を読んだけどあまり理解できてなかったので 日本語 で再挑戦する会。 進捗 前回 「6章 時相論理」を読んだり試したり 「7章 アルゴリズム」を読んでいちゃもん書いたり 今回 2022.4 実践TLA+もくもく会 - connpass 「7章 アルゴリズム」…