package coq-kruskal-finite

  1. Overview
  2. No Docs
Coq library for manipulating finiteness, finite choice and decision as used in proof of Kruskal's tree theorem

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

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

Maintainers

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

Sources

Kruskal-Finite-1.4.tar.gz
sha256=ad8ae37320e6fca0803b3ec1dfb2e959d260374702aaf4d9e7cd611efb5f7d0a

Description

Tools to facilitate proofs of finiteness (ie listability), finite choice principles and finite decidability.

Tags

category:Computer Science/Data Types and Data Structures date:2024-08-27 logpath:KruskalFinite

Published: 28 Aug 2024

Dependencies (2)

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

Dev Dependencies

None

Conflicts

None