Ugh, so I did. Here's the link: https://github.com/bringhurst/tlaplus/blob/master/examples/Paxos/MCPaxos.tla https://github.com/bringhurst/tlaplus/blob/master/e

Ugh, so I did. Here's the link: https://github.com/bringhurst/tlaplus/blob/master/examples/Paxos/MCPaxos.tla https://github.com/bringhurst/tlaplus/blob/master/examples/P...