issues
search
uwplse
/
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182
stars
19
forks
source link
Adapt w.r.t. coq/coq#12512.
#84
Closed
ppedrot
closed
4 years ago
ppedrot
commented
4 years ago
Should be backwards compatible.
Should be backwards compatible.