Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm - View it on GitHub