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. M
    minki.cho@sf.snu.ac.kr

Sources

v0.5.2.tar.gz
md5=f0fd035f64031ad5385fea69555520fb

Description

Tags

date:2022-03-28 category:Mathematics/Logic keyword:ordinal numbers keyword:set theory logpath:Ordinal

Published: 28 Mar 2022

Dependencies (1)

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

Dev Dependencies

None

Used by (1)

  1. coq-freesim

Conflicts

None