Formal verification of the Algorand consensus protocol
Primary LanguageCoqOtherNOASSERTION
No one’s star this repository yet.