1 search result for "tag:"logpath:Dijkstra""

Showing 1 - 1
  1. coq-dijkstra

    No documentation

    A Verified Implementation of Dijkstra's Algorithm
    keyword:graph theory keyword:shortest path keyword:Dijkstra's algorithm category:Computer Science/Graph Theory date:2021-03-02 logpath:Dijkstra
    Masayuki Mizuno <mizuno@wantedly.com>
    0.1.0
    MIT
    Used by 0 other packages
    05 Mar 2021