nixpkgs / coqPackages.math-classes - A library of abstract interfaces for mathematical structures in Coq.

Homepage - https://math-classes.github.io

Maintainers - Langston Barrett - John Wiegley

Outputs

out (expand/collapse)

Releases

8.13.0 (expand/collapse)
From commit 02c142a2 to 00460bd6
8.12.0 (expand/collapse)
From commit 074ef76e to 074ef76e
8.13.0 (expand/collapse)
From commit 04855119 to 07557e3b
8.12.0 (expand/collapse)
From commit 065a8102 to 065a8102
8.13.0 (expand/collapse)
From commit 0222f420 to 04de1306
8.12.0 (expand/collapse)
From commit 04eab02b to 03582eb6
8.11.0 (expand/collapse)
From commit 03ef3681 to 03ef3681
8.12.0 (expand/collapse)
From commit 03a0224f to 04fce198
8.11.0 (expand/collapse)
From commit 06749ba3 to 00ec365a
8.9.1 (expand/collapse)
From commit 05fe6112 to 05fe6112
8.11.0 (expand/collapse)
From commit 066544a7 to 0096eb92
8.9.1 (expand/collapse)
From commit 05a16be9 to 05a16be9
8.11.0 (expand/collapse)
From commit 0684065e to 0456d939
8.9.1 (expand/collapse)
From commit 07076e9f to 031cc88a
8.11.0 (expand/collapse)
From commit 0361a0e9 to 0410f5df
8.9.1 (expand/collapse)
From commit 0218f30a to 0513a912
8.8.1 (expand/collapse)
From commit 0767de3d to 0767de3d
8.9.1 (expand/collapse)
From commit 0281599a to 00610756
8.8.1 (expand/collapse)
From commit 071a4db3 to 071a4db3
8.9.1 (expand/collapse)
From commit 046390bf to 0732203c
8.8.1 (expand/collapse)
From commit 02d79ced to 02d79ced
8.9.1 (expand/collapse)
From commit 0419d983 to 03d3ed3e
8.8.1 (expand/collapse)
From commit 03603200 to 03603200
8.9.1 (expand/collapse)
From commit 01ee2ee2 to 01ee2ee2
8.8.1 (expand/collapse)
From commit 015b2b1a to 076c1018
1.0.7 (expand/collapse)
From commit 078b742a to 078b742a
8.8.1 (expand/collapse)
From commit 03b9bc9e to 0325f01d