An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Why do you think that https://github.com/verse-lab/toychain is a good alternative to verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Why do you think that https://github.com/verse-lab/toychain is a good alternative to verdi-raft