nixpkgs / coqPackages.mathcomp-bigenough - A small library to do epsilon - N reasonning

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

License - CECILL-B

Outputs

out (expand/collapse)

Releases

1.0.0 (expand/collapse)
From commit 05ad8cf2 to 00460bd6
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 00ba5578 to 00ba5578
1.0.0 (expand/collapse)
From commit 01f11297 to 0513ae77
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 07b6eb69 to 06917a44
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 0073c1fb to 0073c1fb
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 003b42f3 to 02ea0d39
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 057016a2 to 057016a2
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 02e6a5fd to 0512f90e
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 04c9866b to 04c9866b
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 03d6c406 to 03d6c406
1.0.0 (expand/collapse)
From commit 0412ee2a to 0412ee2a
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 0636bebb to 05c1addd
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 01c37106 to 00932b9d
1.9.0-bigenough-1.0.0 (expand/collapse)
From commit 048e0b63 to 0121da2a
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 01d06dc3 to 01d06dc3
1.0.0 (expand/collapse)
From commit 071167e6 to 071167e6
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 00263c93 to 03f48ebe
1.0.0 (expand/collapse)
From commit 00a52224 to 00a52224
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 02ea1812 to 02ea1812
1.0.0 (expand/collapse)
From commit 03c07393 to 03c07393
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 0612588a to 0612588a
1.0.0 (expand/collapse)
From commit 05b2996d to 03d2c7f8
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 06b04301 to 06b04301
1.0.0 (expand/collapse)
From commit 0153edf9 to 0153edf9
1.8.0-bigenough-1.0.0 (expand/collapse)
From commit 032d0baf to 075d79aa
1.0.0 (expand/collapse)
From commit 04551d26 to 0040e207