YaelDilliesMiscYD

Miscellaneous projects I am working on in Lean
#math #combinatorics #additive-combinatorics #convex-geometry #measure-theory #probability
Displaying 1-20 of 25 versions of MiscYD
Sort by
  1. Not a part of any version track.
    765cef8
    v4.35.0-rc1
    16 days ago
    Released on September 17, 2026 at 6:51:36AM
    Commit 765cef8 builds on its recent leanprover/lean4:v4.35.0-rc1
    v4.35.0-rc1
    3.7 MB Build archive size: 3719927 bytes.
  2. Not a part of any version track.
    765cef8
    v4.35.0-rc1
    16 days ago
    Released on September 17, 2026 at 6:51:36AM
    Commit 765cef8 builds on its recent leanprover/lean4:v4.35.0-rc1
    v4.35.0-rc1
    3.7 MB Build archive size: 3719927 bytes.
  3. Not a part of any version track.
    ca0b3bb
    v4.34.0
    17 days ago
    Released on September 15, 2026 at 2:31:50PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0
  4. Not a part of any version track.
    338b7f4
    v4.34.0-rc2
    a month ago
    Released on August 22, 2026 at 7:08:59AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc2
  5. Not a part of any version track.
    b1cef4c
    v4.34.0-rc1
    2 months ago
    Released on August 16, 2026 at 2:59:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.34.0-rc1
  6. Not a part of any version track.
    8bf8e09
    v4.33.0
    2 months ago
    Released on August 16, 2026 at 2:55:15PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  7. Not a part of any version track.
    3c3f6d2
    v4.32.0
    3 months ago
    Released on July 14, 2026 at 4:22:48PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.32.0
  8. Not a part of any version track.
    bb291f0
    v4.31.0
    4 months ago
    Released on June 16, 2026 at 12:07:39PM
    Commit bb291f0 builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    3.6 MB Build archive size: 3617827 bytes.
  9. Not a part of any version track.
    e36b0bb
    v4.31.0-rc2
    4 months ago
    Released on June 10, 2026 at 12:14:52PM
    Commit e36b0bb builds on its old leanprover/lean4:v4.31.0-rc2
    v4.31.0-rc2
    3.6 MB Build archive size: 3620055 bytes.
  10. Not a part of any version track.
    89e3575
    v4.31.0-rc1
    4 months ago
    Released on May 30, 2026 at 7:30:02AM
    Commit 89e3575 builds on its old leanprover/lean4:v4.31.0-rc1
    v4.31.0-rc1
    4.2 MB Build archive size: 4222334 bytes.
  11. Not a part of any version track.
    8b6bc21
    v4.30.0
    4 months ago
    Released on May 30, 2026 at 7:16:13AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  12. Not a part of any version track.
    d87cd76
    v4.29.0
    6 months ago
    Released on April 1, 2026 at 3:49:49PM
    Commit d87cd76 builds on its old leanprover/lean4:v4.29.0
    v4.29.0
    4.3 MB Build archive size: 4256519 bytes.
  13. Not a part of any version track.
    6064f39
    v4.29.0-rc6
    6 months ago
    Released on March 18, 2026 at 4:16:26PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc6
  14. Not a part of any version track.
    120dfcb
    v4.28.0
    7 months ago
    Released on March 13, 2026 at 10:45:51AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.28.0
  15. Not a part of any version track.
    1083704
    v4.27.0
    8 months ago
    Released on January 24, 2026 at 1:19:21PM
    Commit 1083704 builds on its old leanprover/lean4:v4.27.0
    v4.27.0
    5.1 MB Build archive size: 5050238 bytes.
  16. Not a part of any version track.
    2714846
    v4.26.0
    10 months ago
    Released on December 14, 2025 at 6:17:15PM
    Commit 2714846 builds on its old leanprover/lean4:v4.26.0
    v4.26.0
    5.7 MB Build archive size: 5718410 bytes.
  17. Not a part of any version track.
    2a4af3d
    v4.25.0
    a year ago
    Released on November 16, 2025 at 4:07:45PM
    Commit 2a4af3d builds on its old leanprover/lean4:v4.25.0
    v4.25.0
    5.2 MB Build archive size: 5180262 bytes.
  18. Not a part of any version track.
    6923c89
    v4.24.0
    a year ago
    Released on October 14, 2025 at 7:42:28PM
    Commit 6923c89 builds on its old leanprover/lean4:v4.24.0
    v4.24.0
    5.0 MB Build archive size: 4993037 bytes.
  19. Not a part of any version track.
    f7b9e60
    v4.23.0
    a year ago
    Released on October 14, 2025 at 11:50:41AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.23.0
  20. Not a part of any version track.
    3576a12
    v4.22.0
    a year ago
    Released on August 19, 2025 at 1:45:47PM
    Commit 3576a12 builds on its old leanprover/lean4:v4.22.0
    v4.22.0
    4.4 MB Build archive size: 4415392 bytes.