Skip to content

Add MultiPaxos Leader Leases spec - #224

Open
josehu07 wants to merge 3 commits into
tlaplus:masterfrom
josehu07:master
Open

Add MultiPaxos Leader Leases spec#224
josehu07 wants to merge 3 commits into
tlaplus:masterfrom
josehu07:master

Use canonical TLA+ patterns in MultiPaxos-LeaderLeases spec

de5fbf8
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 6, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO