package coq-almost-full
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Almost-full relations in Coq for proving termination
Install
Dune Dependency
Authors
Maintainers
Sources
v8.12.0.tar.gz
sha512=17785dafabd90361183d1f6f88a71864bdd019b878e2e83921c4619d348119b35de958d45331d1510548ef103844dc88678ee7cb706182cffb6dbe6c0174a441
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 logpath:AlmostFull date:2020-07-26Published: 04 Aug 2020
On This Page