package coq-almost-full

  1. Overview
  2. No Docs
Almost-full relations in Coq for proving termination

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. D
    Dimitrios Vytiniotis
  2. T
    Thierry Coquand
  3. D
    David Wahlstedt

Maintainers

  1. P
    palmskog@gmail.com

Sources

almost-full-8.18.0.tar.gz
sha512=c6871611ae19c34dfd6c27f86c29c9b38cff126cc2631684357a3cf04bb5d38e8aed0d4178f26f9c584e16cda7c6c6d1422996c0b057fe7fd8f5470662d284b3

Description

Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination.

Tags

category:Computer Science/Data Types and Data Structures keyword:Ramsey theorem keyword:termination keyword:almost-full relations keyword:well-founded relations logpath:AlmostFull date:2023-12-28

Published: 28 Dec 2023

Dependencies (1)

  1. coq >= "8.11" & < "8.20"

Dev Dependencies

None

Used by

None

Conflicts

None