package coq-gaia-ordinals

  1. Overview
  2. No Docs
Implementation and properties of ordinals in Coq using Mathematical Components

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. J
    José Grimm
  2. A
    Alban Quadrat

Maintainers

  1. P
    palmskog@gmail.com

Sources

v2.0.tar.gz
sha512=37551367ae132870235e2dfd433d420e814933c642068f4d1e0bc37ed3d001e1536ca24e176d490f4c3e05567bc99e426cd48e0a0b989bdff38a371a532f3328

Description

Implementation and properties of ordinals and cardinals in Coq using the Mathematical Components library.

Tags

category:Mathematics/Logic/Set theory category:Mathematics/Arithmetic and Number Theory/Number theory keyword:ordered sets keyword:ordinal arithmetic keyword:ordinal numbers keyword:cardinal numbers logpath:gaia.ordinals date:2023-08-05

Published: 05 Aug 2023

Dependencies (5)

  1. coq-gaia-schutte = version
  2. coq-gaia-theory-of-sets = version
  3. coq-mathcomp-ssreflect >= "2.0"
  4. coq >= "8.16" & < "8.19"
  5. dune >= "2.8"

Dev Dependencies

None

Used by (1)

  1. coq-gaia-numbers = "2.0"

Conflicts (1)

  1. coq-gaia