package coq-gaia-hydras

  1. Overview
  2. No Docs
Bridge in Coq between 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.6.tar.gz
sha512=a7e5e16506ad4eb2b5968d6bffbc1dacb297a304c7e8bbbd2ec4d2488d2090573288bdcd0e17fa05b605925b71c3ece5e46e91134d98f47248ef173c92dc8ed7

Description

The Gaia and Hydra battles projects develop different implementations of ordinals and other mathematical concepts in Coq. This development bridges similar concepts in the two projects.

Tags

category:Mathematics/Logic/Foundations keyword:ordinal numbers logpath:gaia_hydras date:2022-02-17

Published: 28 Feb 2022

Dependencies (6)

  1. coq-gaia >= "1.12" & < "1.14~"
  2. coq-mathcomp-zify
  3. coq-mathcomp-ssreflect >= "1.12.0" & < "1.15~"
  4. coq-hydra-battles = version
  5. coq >= "8.14" & < "8.16~"
  6. dune >= "2.5"

Dev Dependencies

None

Used by

None

Conflicts

None