An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
BSD 2-Clause "Simplified" License
182
stars
19
forks
source link
use Program Instance to avoid the soon-obsolete instance refinement mode #77
Closed
palmskog closed 5 years ago
As per coq/coq#9270.