/verdi-chord

An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

Primary LanguageCoqBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.