package coq-zorns-lemma

  1. Overview
  2. No Docs
This library develops some basic set theory

Install

Dune Dependency

github.com Edit opam file Versions (11)

Authors

  1. D
    Daniel Schepler

Maintainers

  1. P
    palmskog@gmail.com

Sources

v8.11.0.tar.gz
sha256=af8872b360b5f0f84d6a514f7db1aa855d11460d1ed9394279f19b1399d9da32

Description

The main purpose the author had in writing it was as support for the Topology library.

Tags

category: Mathematics/Logic/Set theory keyword: set theory keyword: cardinal numbers keyword: ordinal numbers keyword: countable keyword: quotients keyword: well-orders keyword: Zorn's lemma logpath: ZornsLemma

Published: 27 Apr 2020

Dependencies (1)

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

Dev Dependencies

None

Used by (1)

  1. coq-topology = "8.12.0"

Conflicts

None