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
compatibility with both Coq 8.6.1 and 8.7.0 #66
Closed
palmskog closed 6 years ago
Compatibility with 8.6.0 and 8.7.0 not simultaneously possible due to choices by Coq maintainers.