An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework - View it on GitHub