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

1.0.tar.gz
sha256=9ca35de070b38d4fea624e572a6ad2ef030e10b538cc27f676f690e7dfb38f3a

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-02-16 logpath:KruskalAfProp logpath:KruskalAfType

Published: 16 Feb 2024

Dependencies (3)

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

Dev Dependencies

None

Conflicts

None