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.7.0.tar.gz
md5=12ccdc26420177f6945354cac1d537c6

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: 11 Jan 2019

Dependencies (2)

  1. coq >= "8.7" & < "8.8~"
  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