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 (6)

Authors

M

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

Maintainers

J

jaehyung.lee@sf.snu.ac.kr

Sources

sha512=2eb457129c26d37acbbdb7844a9e15bbe927d9808fd891205c6620f584ee7fbbd14d703a64a7269bb9c3f56a9688d9f4782a53d34644c067cf97ce0718e17b24

Description

Tags

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

Published: 25 Mar 2025

Dependencies (1)

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

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts