asherrecv/coq-shortest-path

Coq formalisation of the witness property for the distributed computation of shortest paths.

Coq