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.1.tar.gz
sha256=3d5b09cea62d8399c65c06d9735ac7c049c41929c036aba28cc4adc25d9870b2

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-08-28 logpath:KruskalAfProp logpath:KruskalAfType

Published: 28 Aug 2024

Dependencies (3)

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

Dev Dependencies

None

Conflicts

None