An interactive demo representing the distributed consensus algorithm Paxos. (For CS4010)