/verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

Stargazers

No one’s star this repository yet.