package coq-dijkstra
A Verified Implementation of Dijkstra's Algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=ba5b8f156d209b428eaafe75436bee97
Description
Tags
keyword:graph theory keyword:shortest path keyword:Dijkstra's algorithm category:Computer Science/Graph Theory date:2021-03-02 logpath:DijkstraPublished: 05 Mar 2021
Dependencies (3)
-
coq-mathcomp-ssreflect
>= "1.11" -
coq
>= "8.8" -
dune
>= "2.5"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page