2 search results for "author:"Masayuki Mizuno <mizuno@wantedly.com>""

Showing 1 - 2
  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
  2. coq-type-infer

    No documentation

    A formal verification of algorithm W
    Masayuki Mizuno <mizuno@wantedly.com>
    0.1.0
    MIT
    Used by 0 other packages
    15 Dec 2020