Isabelle formalization of binary consensus
Primary LanguageIsabelle
No issues in this repository yet.