leanprover-communityAddCombi

The sublibrary of Mathlib dedicated to additive combinatorics
#math #additive-combinatorics
Displaying 1-20 of 30 versions of AddCombi
Sort by
  1. Not a part of any version track.
    1b6b09f
    v4.35.0-rc4
    4 days ago
    Released on October 8, 2026 at 10:38:13AM
    Commit 1b6b09f builds on its recent leanprover/lean4:v4.35.0-rc4
    v4.35.0-rc4
    2.3 MB Build archive size: 2341032 bytes.
  2. Not a part of any version track.
    1b6b09f
    v4.35.0-rc4
    4 days ago
    Released on October 8, 2026 at 10:38:13AM
    Commit 1b6b09f builds on its recent leanprover/lean4:v4.35.0-rc4
    v4.35.0-rc4
    2.3 MB Build archive size: 2341032 bytes.
  3. Not a part of any version track.
    3c05ba9
    v4.35.0-rc3
    16 days ago
    Released on September 26, 2026 at 2:51:39PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc3
  4. Not a part of any version track.
    b57ee30
    v4.35.0-rc2
    22 days ago
    Released on September 20, 2026 at 10:05:17AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc2
  5. Not a part of any version track.
    5eff8b4
    v4.35.0-rc1
    a month ago
    Released on September 17, 2026 at 6:13:56AM
    Commit 5eff8b4 builds on its recent leanprover/lean4:v4.35.0-rc1
    v4.35.0-rc1
    2.3 MB Build archive size: 2339726 bytes.
  6. Not a part of any version track.
    edd3c66
    v4.34.0
    a month ago
    Released on September 15, 2026 at 12:45:09PM
    Commit edd3c66 builds on its old leanprover/lean4:v4.34.0
    v4.34.0
    2.3 MB Build archive size: 2341074 bytes.
  7. Not a part of any version track.
    cee1a84
    v4.34.0-rc2
    2 months ago
    Released on August 22, 2026 at 6:59:56AM
    Commit cee1a84 builds on its old leanprover/lean4:v4.34.0-rc2
    v4.34.0-rc2
    2.3 MB Build archive size: 2328070 bytes.
  8. Not a part of any version track.
    ecee0cf
    v4.34.0-rc1
    2 months ago
    Released on August 14, 2026 at 4:27:43AM
    Commit ecee0cf builds on its old leanprover/lean4:v4.34.0-rc1
    v4.34.0-rc1
    2.3 MB Build archive size: 2326330 bytes.
  9. Not a part of any version track.
    a78c454
    v4.33.0
    2 months ago
    Released on August 14, 2026 at 4:18:19AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  10. Not a part of any version track.
    ac2815a
    v4.33.0-rc2
    2 months ago
    Released on August 14, 2026 at 4:17:20AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0-rc2
  11. Not a part of any version track.
    3adf785
    v4.33.0-rc1
    3 months ago
    Released on July 16, 2026 at 11:33:15AM
    Commit 3adf785 builds on its old leanprover/lean4:v4.33.0-rc1
    v4.33.0-rc1
    2.3 MB Build archive size: 2324084 bytes.
  12. Not a part of any version track.
    17fb2e0
    v4.32.0
    3 months ago
    Released on July 14, 2026 at 8:37:19AM
    Commit 17fb2e0 builds on its old leanprover/lean4:v4.32.0
    v4.32.0
    2.3 MB Build archive size: 2276519 bytes.
  13. Not a part of any version track.
    068c06b
    v4.31.0
    4 months ago
    Released on June 16, 2026 at 8:57:51AM
    Commit 068c06b builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    2.3 MB Build archive size: 2271323 bytes.
  14. Not a part of any version track.
    317a41c
    v4.31.0-rc2
    4 months 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
  15. Not a part of any version track.
    64086f3
    v4.31.0-rc1
    4 months ago
    Released on May 30, 2026 at 7:17:58AM
    Commit 64086f3 builds on its old leanprover/lean4:v4.31.0-rc1
    v4.31.0-rc1
    2.3 MB Build archive size: 2257912 bytes.
  16. Not a part of any version track.
    870bad4
    v4.30.0
    4 months 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
  17. Not a part of any version track.
    8e99295
    v4.30.0-rc2
    5 months 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
  18. Not a part of any version track.
    e91ebd8
    v4.29.0
    6 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
  19. Not a part of any version track.
    6052cbc
    v4.28.0
    7 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.
  20. Not a part of any version track.
    774959d
    v4.27.0
    9 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.