An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Here you can share your experience with the project you are suggesting or its comparison with verdi-raft. Optional.
A valid email to send you a verification link when necessary or log in.