/paxosstore-tla

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

Primary LanguageTLAMIT LicenseMIT

No issues in this repository yet.