A framework for formally verifying distributed systems implementations in Coq

Coq559bsd-2-clause

6 months ago

coqcoq-librarydistributed-systems

An implementation of the Raft distributed consensus protocol, verified in Coq us

Coq175bsd-2-clause

6 months ago

consensuscoqdistributed-systems