Verdi Raft

github.comtool

Implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Verified Software: “Implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework.”