leanprover-communityaesop

White-box automation for Lean 4
Displaying 1-20 of 96 versions of aesop
Sort by
  1. Not a part of any version track.
    cbdde3a
    v4.36.0-rc1
    4 days ago
    Released on October 14, 2026 at 10:18:17PM
    Commit cbdde3a builds on its recent leanprover/lean4:v4.36.0-rc1
    v4.36.0-rc1
    30.1 MB Build archive size: 30124292 bytes.
  2. Not a part of any version track.
    cbdde3a
    v4.36.0-rc1
    4 days ago
    Released on October 14, 2026 at 10:18:17PM
    Commit cbdde3a builds on its recent leanprover/lean4:v4.36.0-rc1
    v4.36.0-rc1
    30.1 MB Build archive size: 30124292 bytes.
  3. Not a part of any version track.
    4a174c4
    v4.35.0
    6 days ago
    Released on October 12, 2026 at 6:36:52PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0
  4. Not a part of any version track.
    04879b1
    v4.35.0-rc4
    12 days ago
    Released on October 6, 2026 at 2:16:18PM
    Commit 04879b1 builds on its recent leanprover/lean4:v4.35.0-rc4
    v4.35.0-rc4
    30.3 MB Build archive size: 30271839 bytes.
  5. Not a part of any version track.
    a90fbf7
    v4.35.0-rc3
    24 days ago
    Released on September 24, 2026 at 10:04:59PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc3
  6. Not a part of any version track.
    75d936c
    v4.35.0-rc2
    a month ago
    Released on September 16, 2026 at 1:50:11PM
    Commit 75d936c builds on its recent leanprover/lean4:v4.35.0-rc2
    v4.35.0-rc2
    30.3 MB Build archive size: 30267728 bytes.
  7. Not a part of any version track.
    7938bfd
    v4.35.0-rc1
    a month ago
    Released on September 15, 2026 at 3:38:23PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.35.0-rc1
  8. Not a part of any version track.
    355695d
    v4.34.0
    a month ago
    Released on September 14, 2026 at 2:25:47PM
    Commit 355695d builds on its old leanprover/lean4:v4.34.0
    v4.34.0
    30.5 MB Build archive size: 30521333 bytes.
  9. Not a part of any version track.
    18889de
    v4.34.0-rc2
    2 months ago
    Released on August 21, 2026 at 12:17:49PM
    Commit 18889de builds on its old leanprover/lean4:v4.34.0-rc2
    v4.34.0-rc2
    30.5 MB Build archive size: 30521889 bytes.
  10. Not a part of any version track.
    c1c4362
    v4.34.0-rc1
    2 months ago
    Released on August 10, 2026 at 6:00:29PM
    Commit c1c4362 builds on its old leanprover/lean4:v4.34.0-rc1
    v4.34.0-rc1
    30.5 MB Build archive size: 30505372 bytes.
  11. Not a part of any version track.
    3448c0b
    v4.33.0
    2 months ago
    Released on August 10, 2026 at 6:42:33AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.33.0
  12. Not a part of any version track.
    7db8190
    v4.33.0-rc2
    2 months ago
    Released on August 3, 2026 at 1:19:14PM
    Commit 7db8190 builds on its old leanprover/lean4:v4.33.0-rc2
    v4.33.0-rc2
    30.6 MB Build archive size: 30611316 bytes.
  13. Not a part of any version track.
    57d3325
    v4.33.0-rc1
    3 months ago
    Released on July 15, 2026 at 3:16:32PM
    Commit 57d3325 builds on its old leanprover/lean4:v4.33.0-rc1
    v4.33.0-rc1
    30.6 MB Build archive size: 30610861 bytes.
  14. Not a part of any version track.
    a7dbf0c
    v4.32.0
    3 months ago
    Released on July 13, 2026 at 2:03:17PM
    Commit a7dbf0c builds on its old leanprover/lean4:v4.32.0
    v4.32.0
    30.6 MB Build archive size: 30564985 bytes.
  15. Not a part of any version track.
    b5b9e2b
    v4.32.0-rc1
    4 months ago
    Released on June 17, 2026 at 7:23:22PM
    Commit b5b9e2b builds on its old leanprover/lean4:v4.32.0-rc1
    v4.32.0-rc1
    30.6 MB Build archive size: 30560328 bytes.
  16. Not a part of any version track.
    e3cb2f7
    v4.31.0
    4 months ago
    Released on June 15, 2026 at 1:09:58PM
    Commit e3cb2f7 builds on its old leanprover/lean4:v4.31.0
    v4.31.0
    30.7 MB Build archive size: 30674878 bytes.
  17. Not a part of any version track.
    7897ea6
    v4.31.0-rc2
    4 months ago
    Released on June 8, 2026 at 12:23:48PM
    Commit 7897ea6 builds on its old leanprover/lean4:v4.31.0-rc2
    v4.31.0-rc2
    30.7 MB Build archive size: 30675099 bytes.
  18. Not a part of any version track.
    fafca80
    v4.31.0-rc1
    5 months ago
    Released on May 28, 2026 at 4:38:44PM
    Commit fafca80 builds on its old leanprover/lean4:v4.31.0-rc1
    v4.31.0-rc1
    30.8 MB Build archive size: 30831186 bytes.
  19. Not a part of any version track.
    558915a
    v4.30.0
    5 months ago
    Released on May 26, 2026 at 3:18:50PM
    Commit 558915a builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    30.7 MB Build archive size: 30677441 bytes.
  20. Not a part of any version track.
    f0c6e18
    v4.30.0-rc2
    6 months ago
    Released on April 17, 2026 at 3:14:07PM
    Commit f0c6e18 builds on its old leanprover/lean4:v4.30.0-rc2
    v4.30.0-rc2
    30.7 MB Build archive size: 30687657 bytes.