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 to coq/coq#13837 ("apply with" does not rename arguments) #87
Closed
SkySkimmer closed 2 years ago
Should be backwards compatible.