Awesome

Paxos

TLA+ specification of paxos

Acknowledgment

Recieved suggestions for TLA specification writting from @vang1ong7ang and @lemmy. Thanks a lot for your help.