TLA+で結婚をコミットする パート2

レスリー・ランポートによる「TLA+入門」コースのコンスペクトの第2部。

May 1, 2024