package coq-gaia-hydras

  1. Overview
  2. No Docs
Comparison between ordinals in Gaia and Hydra battles

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. P
    Pierre Castéran

Maintainers

  1. P
    palmskog@gmail.com

Sources

v0.5.tar.gz
sha512=7edd74fa408b996ebe7c4748046fda522f24a4b532c58b5ad55edeaa4bbd137ba9f21b0b6c1f824d4e7c50f04fb6afe488dfbcd24702e8fe44eb75b780610458

Description

The Gaia and Hydra battles projects develop different notions of ordinals. This development bridges the different notions.

Tags

category:Mathematics/Logic/Foundations keyword:ordinal numbers logpath:gaia_hydras date:2021-10-15

Published: 15 Oct 2021

Dependencies (6)

  1. coq-gaia >= "1.12" & < "1.13~"
  2. coq-mathcomp-zify
  3. coq-mathcomp-ssreflect >= "1.12.0" & < "1.13~"
  4. coq-hydra-battles >= "0.4"
  5. coq >= "8.13" & < "8.15~"
  6. dune >= "2.5"

Dev Dependencies

None

Used by

None

Conflicts

None