2 ms·
For those interested in this sort of thing, see also Raft's TLA+ specification: https://github.com/ongardie/raft.tla https://github.com/ongardie/raft.tla
by thamer 3y ago
For those interested in this sort of thing, see also Raft's TLA+ specification: https://github.com/ongardie/raft.tla https://github.com/ongardie/raft.tla