package coq-ordinal

  1. Overview
  2. No Docs
Ordinal Numbers in Coq

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. M
    Minki Cho <minki.cho@sf.snu.ac.kr>

Maintainers

  1. J
    jaehyung.lee@sf.snu.ac.kr

Sources

v0.5.4.tar.gz
sha512=239b25d4f904f9fc119de3903d64c9246b740db5142e4bdc9c96cd616d9a4c7bf53504f00c716d255afedf54a8799018a0fc8466399987627d01acf77569641b

Description

Tags

date:2024-12-18 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal

Published: 18 Dec 2024

Dependencies (1)

  1. coq >= "8.13" & < "8.21~"

Dev Dependencies

None

Used by

None

Conflicts

None