package coq-gaia-schutte

  1. Overview
  2. No Docs
Implementation of ordinals in Coq following Schütte and Ackermann

Install

Dune Dependency

Authors

Maintainers

Sources

v1.14.tar.gz
sha512=aec8b3321bba4ffeedf65f2411f0154edc729df6b64b619cfffc46db275f58d1fdfe0e1923b191a9e5b35120e1ee3cf8fae8b0a8c4600278d6061a46cf7ecc74

Description

Types for ordinal numbers in Coq using the Mathematical Components library, following the approaches of Schütte and Ackermann.

Dependencies (3)

  1. coq-mathcomp-ssreflect >= "1.12.0" & < "1.15~"
  2. coq >= "8.10" & < "8.16~"
  3. dune >= "2.5"

Dev Dependencies

None

Used by (2)

  1. coq-gaia-hydras >= "0.9"
  2. coq-gaia-ordinals < "1.15"

Conflicts (1)

  1. coq-gaia