An implementation of Dijkstra's famous shortest path algorithm in Coq proof assistant, and a formal verification of it using the same tool.
cobed95/verified-shortest-path-alg
An implementation of Dijkstra's famous shortest path algorithm in Coq proof assistant, and a formal verification of it using the same tool.
Coq