package coq-zorns-lemma

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

Install

Dune Dependency

github.com Edit opam file Versions (11)

Authors

  1. D
    Daniel Schepler

Maintainers

  1. M
    miloradovsky@gmail.com

Sources

v9.0.0.tar.gz
sha512=35cdea3c4c1ca3792777c0864e5cdacd5f6dc1b8eebbb3a1d52a1f5e0fba21f7943a5186472eabba23a93ca6a37f8caecef3647e1fde3d09aae45f7e27c2f0ec

Description

This Coq library develops some basic set theory. 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:cardinals keyword:ordinal numbers keyword:finite keyword:countable keyword:quotients keyword:well-orders keyword:Zorn's lemma logpath:ZornsLemma

Published: 22 Aug 2021

Dependencies (1)

  1. dune >= "2.5"

Dev Dependencies (1)

  1. coq (>= "8.10" & < "8.15~") | (= "dev")

Used by (1)

  1. coq-topology = "9.0.0"

Conflicts

None