nixpkgs / coqPackages.multinomials - A Coq/SSReflect Library for Monoidal Rings and Multinomials

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

License - CECILL-C

Releases

1.5.4 (expand/collapse)

From commit 02c142a2 to 00460bd6

1.5.2 (expand/collapse)

From commit 074ef76e to 074ef76e

1.5.4 (expand/collapse)

From commit 04855119 to 07557e3b

1.5.2 (expand/collapse)

From commit 065a8102 to 065a8102

1.5.4 (expand/collapse)

From commit 044053e2 to 04de1306

1.5.2 (expand/collapse)

From commit 03582eb6 to 03582eb6

1.5.4 (expand/collapse)

From commit 035434d8 to 062e1e59

1.5.2 (expand/collapse)

From commit 03c09257 to 03c09257

1.5.4 (expand/collapse)

From commit 037e5170 to 075953b7

1.5.2 (expand/collapse)

From commit 05065605 to 05065605

1.5.4 (expand/collapse)

From commit 0391ca2b to 01dc2d9c

1.5.2 (expand/collapse)

From commit 074b608d to 074b608d

1.5.4 (expand/collapse)

From commit 0326ec60 to 07e4cbde

1.5.2 (expand/collapse)

From commit 0432a816 to 0432a816

1.5.4 (expand/collapse)

From commit 07d9edea to 03108183

1.5.2 (expand/collapse)

From commit 07bb1100 to 07bb1100

1.5.4 (expand/collapse)

From commit 04af4657 to 060286eb

1.5.2 (expand/collapse)

From commit 033208fd to 021813a4

1.5 (expand/collapse)

From commit 04946f42 to 04946f42

1.5.2 (expand/collapse)

From commit 05ca995e to 06623ebd

1.5 (expand/collapse)

From commit 06c0f165 to 06c0f165

1.5.2 (expand/collapse)

From commit 0575e0d2 to 075da392

1.5 (expand/collapse)

From commit 066544a7 to 0380ee43

1.3 (expand/collapse)

From commit 05a16be9 to 05a16be9

1.5 (expand/collapse)

From commit 049b68be to 0456d939

1.3 (expand/collapse)

From commit 02b3cac1 to 02b3cac1

1.5 (expand/collapse)

From commit 03f116ea to 008e7e32

1.3 (expand/collapse)

From commit 06ac7027 to 06ac7027

1.5 (expand/collapse)

From commit 057383bb to 0045730c

1.3 (expand/collapse)

From commit 00b90430 to 00b90430

1.5 (expand/collapse)

From commit 0010ae49 to 0581aa6c

1.3 (expand/collapse)

From commit 01b645e8 to 01b645e8

1.5 (expand/collapse)

From commit 02acd0b2 to 01bc3321

1.3 (expand/collapse)

From commit 01f11297 to 05bcfa18

1.8.0-multinomials-1.2 (expand/collapse)

From commit 032d0baf to 0073c1fb