verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
182 stars
54 watching
19 forks
Language: Coq
last commit: 10 months ago
Linked from 2 awesome lists
consensuscoqdistributed-systemskey-valueproofraftverdi
coq-community/awesome-coq
uhub/awesome-coq