Open drequinox opened 4 years ago
Proposing the safety and liveness properties of the consensus algorithm
I have updated the requirements, please review.
Proposing the safety and liveness properties of the consensus algorithm