nixpkgs / coqPackages.zorns-lemma - This Coq library develops some basic set theory. The main purpose the author had in writing it was as support for the Topology library.

Homepage - https://github.com/coq-community/zorns-lemma

License - LGPL-2.1-or-later

Maintainers - Siraphob Phipathananunth

Releases

9.0.0 (expand/collapse)
From commit 07c31956 to 00460bd6
8.11.0 (expand/collapse)
From commit 07d6a1a7 to 02cdfa5d
9.0.0 (expand/collapse)
From commit 053e6bf8 to 053e6bf8
8.11.0 (expand/collapse)
From commit 015d6e7e to 05a7f008
9.0.0 (expand/collapse)
From commit 00910f76 to 00682a56
8.11.0 (expand/collapse)
From commit 012009ec to 012009ec
9.0.0 (expand/collapse)
From commit 0039dff7 to 05e11f84
8.11.0 (expand/collapse)
From commit 00ace5a4 to 00ace5a4
9.0.0 (expand/collapse)
From commit 02977f08 to 0683b38c
8.11.0 (expand/collapse)
From commit 01e24bd0 to 06bc3335