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