nixpkgs / coqPackages.topology - This library develops some of the basic concepts and results of general topology in Coq.

Homepage - https://github.com/coq-community/topology

License - LGPL-2.1-or-later

Maintainers - Siraphob Phipathananunth

Releases

9.0.0 (expand/collapse)

From commit 07c31956 to 00460bd6

8.12.0 (expand/collapse)

From commit 07d6a1a7 to 02cdfa5d

9.0.0 (expand/collapse)

From commit 053e6bf8 to 053e6bf8

8.12.0 (expand/collapse)

From commit 015d6e7e to 05a7f008

9.0.0 (expand/collapse)

From commit 00910f76 to 00682a56

8.12.0 (expand/collapse)

From commit 012009ec to 012009ec

9.0.0 (expand/collapse)

From commit 0039dff7 to 05e11f84

8.12.0 (expand/collapse)

From commit 00ace5a4 to 00ace5a4

9.0.0 (expand/collapse)

From commit 02977f08 to 0683b38c

8.12.0 (expand/collapse)

From commit 01e24bd0 to 06bc3335