/PaxosMadeSimple

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

Primary LanguageTLAMIT LicenseMIT

Stargazers