3 ms·
Fwiw, they've open sourced their TLA+ proofs for percolator and raft merge. Worth checking out: https://github.com/pingcap/tla-plus https://github.com/pingcap/t
by ceohockey60 8y ago
Fwiw, they've open sourced their TLA+ proofs for percolator and raft merge. Worth checking out: https://github.com/pingcap/tla-plus https://github.com/pingcap/tla-plus