Description
Development of basic set theory.
This Coq library develops some basic set theory. The main purpose the author had in writing it was as support for the Topology library.
package
coq8.20-zorns-lemma
Metadata
Version
10.2.0License
Maintainers (1)
Platforms (44)
Darwin
FreeBSD
Linux
NetBSD
OpenBSD
Redox
Solaris
Windows
Show all
aarch64-darwinaarch64-linuxaarch64-netbsdarmv5tel-linuxarmv6l-linuxarmv6l-netbsdarmv7a-darwinarmv7a-linuxarmv7a-netbsdarmv7l-linuxarmv7l-netbsdi686-cygwini686-darwini686-freebsdi686-linuxi686-netbsdi686-openbsdloongarch64-linuxm68k-linuxm68k-netbsdmicroblaze-linuxmicroblazeel-linuxmips-linuxmips64-linuxmips64el-linuxmipsel-linuxmipsel-netbsdpowerpc-netbsdpowerpc64-linuxpowerpc64le-linuxriscv32-linuxriscv32-netbsdriscv64-linuxriscv64-netbsds390-linuxs390x-linuxx86_64-cygwinx86_64-darwinx86_64-freebsdx86_64-linuxx86_64-netbsdx86_64-openbsdx86_64-redoxx86_64-solaris