A TLA+ formalization of the algorithm described in "Paxos Made Simple"
Primary LanguageTLAMIT LicenseMIT