Specification and proof of the Paxos protocol in Dafny
Primary LanguageDafny
No issues in this repository yet.