package coq-ordinal

You can search for identifiers within the package.

in-package search v0.2.0

Ordinal Numbers in Coq

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

M

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

Maintainers

J

jaehyung.lee@sf.snu.ac.kr

Sources

sha512=753507ae5bc2d4bb02bd3e60f704c2631afb3238b1c0aabc6022a81cbc28e783f30f227a3968febe422c07e7279fb435b14911d12f47e72c0ab60ce47d7e8e55

Description

Tags

date:2025-08-03 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal

Published: 12 Aug 2025

Dependencies (1)

coq >= "8.15.2" & < "9.1~"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts