package coq-zorns-lemma
This library develops some basic set theory in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v10.2.0.tar.gz
sha512=f8812860d729a0d88135515e3214c2196dca2b01410fa0e95a14f510a46ccc02d6b3ea0e7b6a7df1ab1205f31ab7e392a58d9a2083a3a088bc08fee2d8a6a535
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 date:2023-08-18 keyword:set theory keyword:cardinals keyword:ordinal numbers keyword:finite keyword:countable keyword:quotients keyword:well-orders keyword:Zorn's lemma logpath:ZornsLemmaPublished: 21 Aug 2023
Dependencies (1)
-
dune
>= "2.5"
Dev Dependencies (1)
-
coq
(>= "8.12" & < "8.21~") | (= "dev")
Used by (1)
-
coq-topology
>= "10.2.0"
Conflicts
None
On This Page