nixpkgs / coqPackages.mathcomp-zify - Micromega tactics for Mathematical Components

Homepage - https://github.com/math-comp/mczify

Maintainers - Cyril Cohen

Releases

1.1.0+1.12+8.13 (expand/collapse)

From commit 00460bd6 to 00460bd6

1.0.0+1.12+8.13 (expand/collapse)

From commit 039e3758 to 039e3758

1.1.0+1.12+8.13 (expand/collapse)

From commit 00f7e1e8 to 021410c0

1.0.0+1.12+8.13 (expand/collapse)

From commit 0757207f to 0757207f

1.1.0+1.12+8.13 (expand/collapse)

From commit 038152e4 to 0615bf07

1.0.0+1.12+8.13 (expand/collapse)

From commit 023ba766 to 023ba766

1.1.0+1.12+8.13 (expand/collapse)

From commit 016b0a42 to 045e85bb

1.0.0+1.12+8.13 (expand/collapse)

From commit 06c691cf to 06c691cf

1.1.0+1.12+8.13 (expand/collapse)

From commit 0773baf0 to 04e1d248

1.0.0+1.12+8.13 (expand/collapse)

From commit 03ab641a to 03ab641a

1.1.0+1.12+8.13 (expand/collapse)

From commit 05d9c4e3 to 05d9c4e3

1.0.0+1.12+8.13 (expand/collapse)

From commit 04af4657 to 07c44a2d