/Paxos-in-Dafny

Paxos consensus algorithm implemented in the functional validation language Dafny

Primary LanguageC#

Stargazers