package coq-kruskal-almostfull

  1. Overview
  2. No Docs
Base Coq library for manipulating Almost Full relations

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Maintainers

  1. D
    Dominique Larchey-Wendling (https://github.com/DmxLarchey)

Sources

Kruskal-AlmostFull-1.2.tar.gz
sha256=9f49b9b9cae6665a0852ff746ea7c1703dd11fa51c623ef931c076a4ab27386e

Description

This library formalizes ground results about Almost Full relations (AF) in Coq 8.14+, up to Dickson's lemma.

Tags

category:Computer Science/Data Types and Data Structures date:2024-11-21 logpath:KruskalAfProp logpath:KruskalAfType

Published: 22 Nov 2024

Dependencies (3)

  1. coq-kruskal-finite >= "1.5"
  2. coq-kruskal-trees >= "1.5"
  3. coq >= "8.14" & < "8.21~"

Dev Dependencies

None

Conflicts

None