GitHub repository: Deagels/Paxos-in-Dafny
Primary language: Shell
Created: 2015-02-18T13:54:37Z
Description: Paxos consensus algorithm implemented in the functional validation language Dafny