jfehrle / verdi-raft Goto Github PK
View Code? Open in Web Editor NEWThis project forked from uwplse/verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
License: BSD 2-Clause "Simplified" License