An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
183
stars
19
forks
source link
Do not expect “firstorder” to solve arithmetic goals #82
Closed
vbgl closed 4 years ago