leanprover-communityAddCombi

The sublibrary of Mathlib dedicated to additive combinatorics
#math #additive-combinatorics
Displaying 1-20 of 33 versions of AddCombi
Sort by
  1. Not a part of any version track.
    583a279
    v4.36.0-rc2
    5 days ago
    Released on October 29, 2026 at 11:22:31AM
    Commit 583a279 builds on its recent leanprover/lean4:v4.36.0-rc2
    v4.36.0-rc2
    2.3 MB Build archive size: 2315713 bytes.
  2. Not a part of any version track.
    583a279
    v4.36.0-rc2
    5 days ago
    Released on October 29, 2026 at 11:22:31AM
    Commit 583a279 builds on its recent leanprover/lean4:v4.36.0-rc2
    v4.36.0-rc2
    2.3 MB Build archive size: 2315713 bytes.
  3. Not a part of any version track.
    111b61a
    v4.36.0-rc1
    17 days ago
    Released on October 17, 2026 at 7:39:22AM
    Commit 111b61a builds on its recent leanprover/lean4:v4.36.0-rc1
    v4.36.0-rc1
    2.3 MB Build archive size: 2345595 bytes.
  4. Not a part of any version track.
    e6fb8d3
    v4.35.0
    18 days ago
    Released on October 16, 2026 at 2:02:42PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0
  5. Not a part of any version track.
    1b6b09f
    v4.35.0-rc4
    a month 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.
  6. Not a part of any version track.
    3c05ba9
    v4.35.0-rc3
    a month 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
  7. Not a part of any version track.
    b57ee30
    v4.35.0-rc2
    a month 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
  8. Not a part of any version track.
    5eff8b4
    v4.35.0-rc1
    2 months 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.
  9. Not a part of any version track.
    edd3c66
    v4.34.0
    2 months 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.
  10. 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.
  11. Not a part of any version track.
    ecee0cf
    v4.34.0-rc1
    3 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.
  12. Not a part of any version track.
    a78c454
    v4.33.0
    3 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
  13. Not a part of any version track.
    ac2815a
    v4.33.0-rc2
    3 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
  14. Not a part of any version track.
    3adf785
    v4.33.0-rc1
    4 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.
  15. Not a part of any version track.
    17fb2e0
    v4.32.0
    4 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.
  16. Not a part of any version track.
    068c06b
    v4.31.0
    5 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.
  17. Not a part of any version track.
    317a41c
    v4.31.0-rc2
    5 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
  18. Not a part of any version track.
    64086f3
    v4.31.0-rc1
    5 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.
  19. Not a part of any version track.
    870bad4
    v4.30.0
    5 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
  20. Not a part of any version track.
    8e99295
    v4.30.0-rc2
    6 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