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