GitHub repository: DistributedComponents/verdi-chord
Primary language: Coq
Created: 2016-11-22T05:37:48Z
Description: An implementation of the Chord lookup protocol verified in Coq using the Verdi framework