Reformat Depencies.v to be proofalytics-friendly
Reformat Depencies.v to be proofalytics-friendly

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord