NicolasT / panagia

An island close to Paxos

Model-only implementation of Single-Decree Paxos

NicolasT opened this issue 2 years ago · comments

Nicolas Trangez commented 2 years ago

Based on the TLA+ spec of https://raw.githubusercontent.com/tlaplus/tlapm/581ebd8afbe927b2b7d31c62ccec3a3409d9d8ce/examples/paxos/Paxos.tla