search

Tencent / phxpaxos

The Paxos library implemented in C++ that has been used in the WeChat production environment.
Other
3.36k stars 863 forks source link

TLA model? #182

Open xuhualiang opened 4 years ago