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