leanprover-communityAddCombi

The sublibrary of Mathlib dedicated to additive combinatorics
#math #additive-combinatorics
Displaying 1-19 of 19 versions of AddCombi
Sort by
  1. Not a part of any version track.
    068c06b
    v4.31.0
    2 days ago
    Released on June 16, 2026 at 8:57:51AM
    Commit 068c06b builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    2.3 MB Build archive size: 2271304 bytes.
  2. Not a part of any version track.
    068c06b
    v4.31.0
    2 days ago
    Released on June 16, 2026 at 8:57:51AM
    Commit 068c06b builds on its recent leanprover/lean4:v4.31.0
    v4.31.0
    2.3 MB Build archive size: 2271304 bytes.
  3. Not a part of any version track.
    317a41c
    v4.31.0-rc2
    2 days ago
    Released on June 16, 2026 at 7:15:38AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.31.0-rc2
  4. Not a part of any version track.
    64086f3
    v4.31.0-rc1
    19 days ago
    Released on May 30, 2026 at 7:17:58AM
    Commit 64086f3 builds on its recent leanprover/lean4:v4.31.0-rc1
    v4.31.0-rc1
    2.3 MB Build archive size: 2257912 bytes.
  5. Not a part of any version track.
    870bad4
    v4.30.0
    19 days ago
    Released on May 30, 2026 at 6:56:09AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  6. Not a part of any version track.
    8e99295
    v4.30.0-rc2
    a month ago
    Released on May 3, 2026 at 8:16:02AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc2
  7. Not a part of any version track.
    e91ebd8
    v4.29.0
    3 months ago
    Released on April 1, 2026 at 12:47:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  8. Not a part of any version track.
    6052cbc
    v4.28.0
    3 months ago
    Released on March 13, 2026 at 10:45:23AM
    Commit 6052cbc builds on its old leanprover/lean4:v4.28.0
    v4.28.0
    9.2 KB Build archive size: 9151 bytes.
  9. Not a part of any version track.
    774959d
    v4.27.0
    5 months ago
    Released on January 24, 2026 at 11:25:23AM
    Commit 774959d builds on its old leanprover/lean4:v4.27.0
    v4.27.0
    9.2 KB Build archive size: 9225 bytes.
  10. Not a part of any version track.
    7cab469
    v4.26.0
    6 months ago
    Released on December 14, 2025 at 5:49:51PM
    Commit 7cab469 builds on its old leanprover/lean4:v4.26.0
    v4.26.0
    8.7 KB Build archive size: 8719 bytes.
  11. Not a part of any version track.
    e347a98
    v4.25.0
    7 months ago
    Released on November 17, 2025 at 8:35:26AM
    Commit e347a98 builds on its old leanprover/lean4:v4.25.0
    v4.25.0
    8.7 KB Build archive size: 8697 bytes.
  12. Not a part of any version track.
    a2025e0
    v4.24.0
    8 months ago
    Released on October 14, 2025 at 9:39:29AM
    Commit a2025e0 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    8.3 KB Build archive size: 8253 bytes.
  13. Not a part of any version track.
    0a99782
    v4.23.0
    8 months ago
    Released on October 14, 2025 at 9:26:36AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  14. Not a part of any version track.
    23602bf
    v4.22.0
    10 months ago
    Released on August 19, 2025 at 4:34:19PM
    Commit 23602bf builds on its old leanprover/lean4:v4.22.0
    v4.22.0
    7.9 KB Build archive size: 7892 bytes.
  15. Not a part of any version track.
    8d65d8d
    v4.21.0
    a year ago
    Released on June 30, 2025 at 11:00:09AM
    Commit 8d65d8d builds on its old leanprover/lean4:v4.21.0
    v4.21.0
    7.2 KB Build archive size: 7241 bytes.
  16. Not a part of any version track.
    c6582a9
    v4.20.1
    a year ago
    Released on June 6, 2025 at 8:33:09AM
    Commit c6582a9 builds on its old leanprover/lean4:v4.20.1
    v4.20.1
    7.2 KB Build archive size: 7181 bytes.
  17. Not a part of any version track.
    dd8204e
    v4.19.0
    a year ago
    Released on May 2, 2025 at 8:49:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.19.0
  18. Not a part of any version track.
    1ac1b04
    v4.18.0
    a year ago
    Released on April 4, 2025 at 8:22:17AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.18.0
  19. Not a part of any version track.
    08a302c
    v4.17.0
    a year ago
    Released on March 5, 2025 at 4:41:03PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.17.0