nixpkgs / coqPackages.mathcomp-analysis - Analysis library compatible with Mathematical Components

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

License - CECILL-C

Maintainers - Cyril Cohen

Releases

0.3.10 (expand/collapse)
From commit 059a86bb to 00460bd6
0.3.9 (expand/collapse)
From commit 06a91dda to 06a91dda
0.3.10 (expand/collapse)
From commit 03d20cbc to 046f8184
0.3.9 (expand/collapse)
From commit 022c300d to 022c300d
0.3.10 (expand/collapse)
From commit 0247d6f9 to 07109dd4
0.3.9 (expand/collapse)
From commit 02c142a2 to 05020744
0.3.1 (expand/collapse)
From commit 074ef76e to 074ef76e
0.3.9 (expand/collapse)
From commit 0649d2c8 to 07557e3b
0.3.6 (expand/collapse)
From commit 06f7d4c1 to 005c8088
0.3.9 (expand/collapse)
From commit 04855119 to 035dcc0e
0.3.4 (expand/collapse)
From commit 065a8102 to 065a8102
0.3.9 (expand/collapse)
From commit 04de1306 to 04de1306
0.3.6 (expand/collapse)
From commit 07811f56 to 07811f56
0.3.9 (expand/collapse)
From commit 0222f420 to 03507abd
0.3.6 (expand/collapse)
From commit 044053e2 to 025a67bf
0.3.4 (expand/collapse)
From commit 03582eb6 to 03582eb6
0.3.6 (expand/collapse)
From commit 035434d8 to 062e1e59
0.3.4 (expand/collapse)
From commit 03c09257 to 03c09257
0.3.6 (expand/collapse)
From commit 037e5170 to 075953b7
0.3.4 (expand/collapse)
From commit 05065605 to 05065605
0.3.6 (expand/collapse)
From commit 0391ca2b to 01dc2d9c
0.3.4 (expand/collapse)
From commit 074b608d to 074b608d
0.3.6 (expand/collapse)
From commit 0326ec60 to 07e4cbde
0.3.4 (expand/collapse)
From commit 0432a816 to 0432a816
0.3.6 (expand/collapse)
From commit 07d9edea to 03108183
0.3.4 (expand/collapse)
From commit 07bb1100 to 07bb1100
0.3.6 (expand/collapse)
From commit 04af4657 to 060286eb
0.3.4 (expand/collapse)
From commit 03e50cf1 to 021813a4
0.3.1 (expand/collapse)
From commit 064e0af8 to 064e0af8
0.3.4 (expand/collapse)
From commit 06dee383 to 0139874d
0.3.1 (expand/collapse)
From commit 064b446f to 064b446f
0.3.4 (expand/collapse)
From commit 021d18ee to 031da799
0.3.1 (expand/collapse)
From commit 0745ed2b to 0745ed2b
0.3.4 (expand/collapse)
From commit 078c2a73 to 0285851c
0.3.1 (expand/collapse)
From commit 045e01aa to 045e01aa
0.3.4 (expand/collapse)
From commit 03d9f48f to 062e1ffa
0.3.1 (expand/collapse)
From commit 0149eb8a to 0149eb8a
0.3.4 (expand/collapse)
From commit 01b24ef0 to 028f2426
0.3.1 (expand/collapse)
From commit 00286f1b to 00286f1b
0.3.4 (expand/collapse)
From commit 0755e16e to 005fc548
0.3.1 (expand/collapse)
From commit 033208fd to 064f93d5
0.2.3 (expand/collapse)
From commit 04946f42 to 04946f42
0.3.1 (expand/collapse)
From commit 05ca995e to 06623ebd
0.2.3 (expand/collapse)
From commit 06c0f165 to 06c0f165
0.3.1 (expand/collapse)
From commit 0575e0d2 to 075da392
0.2.3 (expand/collapse)
From commit 066544a7 to 0380ee43
0.2.2 (expand/collapse)
From commit 05a16be9 to 05a16be9
0.2.3 (expand/collapse)
From commit 049b68be to 0456d939
0.2.2 (expand/collapse)
From commit 02b3cac1 to 02b3cac1
0.2.3 (expand/collapse)
From commit 03f116ea to 008e7e32
0.2.2 (expand/collapse)
From commit 06ac7027 to 06ac7027
0.2.3 (expand/collapse)
From commit 057383bb to 0045730c
0.2.2 (expand/collapse)
From commit 00b90430 to 00b90430
0.2.3 (expand/collapse)
From commit 0010ae49 to 0581aa6c
0.2.2 (expand/collapse)
From commit 01b645e8 to 01b645e8
0.2.3 (expand/collapse)
From commit 02acd0b2 to 01bc3321
0.2.2 (expand/collapse)
From commit 0218f30a to 05bcfa18
0.2.0 (expand/collapse)
From commit 0767de3d to 0767de3d
0.2.2 (expand/collapse)
From commit 05ad8cf2 to 00610756
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 00ba5578 to 00ba5578
0.2.2 (expand/collapse)
From commit 01f11297 to 0513ae77
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 07b6eb69 to 06917a44
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 0073c1fb to 0073c1fb
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 003b42f3 to 02ea0d39
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 057016a2 to 057016a2
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 02e6a5fd to 0512f90e
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 04c9866b to 04c9866b
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 03d6c406 to 03d6c406
0.2.0 (expand/collapse)
From commit 0412ee2a to 0412ee2a
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 0636bebb to 05c1addd
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 01c37106 to 00932b9d
1.9.0-analysis-0.2.2 (expand/collapse)
From commit 048e0b63 to 0121da2a
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 01d06dc3 to 01d06dc3
0.2.0 (expand/collapse)
From commit 071167e6 to 071167e6
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 00263c93 to 03f48ebe
0.1.0 (expand/collapse)
From commit 00a52224 to 00a52224
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 02ea1812 to 02ea1812
0.2.0 (expand/collapse)
From commit 03c07393 to 03c07393
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 0612588a to 0612588a
0.2.0 (expand/collapse)
From commit 05b2996d to 03d2c7f8
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 06b04301 to 06b04301
0.2.0 (expand/collapse)
From commit 0153edf9 to 0153edf9
1.8.0-analysis-0.2.0 (expand/collapse)
From commit 032d0baf to 075d79aa
0.2.0 (expand/collapse)
From commit 04cc8385 to 0040e207
0.1.0 (expand/collapse)
From commit 0045164b to 0045164b
0.2.0 (expand/collapse)
From commit 06026f28 to 06fad89b
0.1.0 (expand/collapse)
From commit 0778b2c9 to 0778b2c9
0.2.0 (expand/collapse)
From commit 02811918 to 07458c2f
0.1.0 (expand/collapse)
From commit 037f62bb to 0695b7da
0.2.0 (expand/collapse)
From commit 030efbb1 to 030efbb1
0.1.0 (expand/collapse)
From commit 00541faa to 00541faa
0.2.0 (expand/collapse)
From commit 06e0ede0 to 069e1a74
0.1.0 (expand/collapse)
From commit 05dfa99d to 05dfa99d
0.2.0 (expand/collapse)
From commit 008c9a70 to 0154d513
0.1.0 (expand/collapse)
From commit 0638ff6f to 055694b7
0.2.0 (expand/collapse)
From commit 03bd909f to 03bd909f
0.1.0 (expand/collapse)
From commit 04551d26 to 041fc676