TLA+ specification for the Raft consensus algorithm
Here you can share your experience with the project you are suggesting or its comparison with raft.tla. Optional.
A valid email to send you a verification link when necessary or log in.