single-source-dijkstra-proof

Dijkstra's algorithm proof