An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Why do you think that https://github.com/aman-goel/ic3po 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/aman-goel/ic3po is a good alternative to verdi-raft