俺の Colimit を越えてゆけ

分散合意アルゴリズム Raft の Log Matching Property について可能な限り形式的な証明をしました。