spiliopoulos/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
CoqBSD-2-Clause
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
CoqBSD-2-Clause