GitHub repository: uwplse/verdi-raft
Primary language: Coq
Created: 2016-09-28T22:18:33Z
Description: An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework