package coq-dijkstra

  1. Overview
  2. No Docs
A Verified Implementation of Dijkstra's Algorithm

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. M
    Masayuki Mizuno <mizuno@wantedly.com>

Maintainers

  1. M
    Masayuki Mizuno <mizuno@wantedly.com>

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:Dijkstra

Published: 05 Mar 2021

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.11"
  2. coq >= "8.8"
  3. dune >= "2.5"

Dev Dependencies

None

Used by

None

Conflicts

None