package coq-tortoise-hare-algorithm

  1. Overview
  2. Homepage
Tortoise and the hare algorithm

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.9.0.tar.gz
md5=648b8b3ffe46ea6c1299b87b3a963c6d

Description

Correctness proof of Floyd's cycle-finding algorithm, also known as the "tortoise and the hare"-algorithm. See http://en.wikipedia.org/wiki/Floyd's_cycle-finding_algorithm

Tags

keyword: program verification keyword: paths keyword: cycle detection keyword: graphs keyword: graph theory keyword: finite sets keyword: Floyd category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2007-02

Published: 07 Dec 2019

Dependencies (2)

  1. coq >= "8.9" & < "8.10~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct