No results found

leancolls

WIP collections library for Lean 4
Displaying 1-4 of 4 versions of leancolls
Sort by
  1. Not a part of any version track.
    e34cd41
    a month ago
    Released on November 22, 2024 at 8:35:27AM
    Commit e34cd41 builds on its old leanprover/lean4:v4.13.0
    v4.13.0
    2.7 MB Build archive size: 2722126 bytes.
  2. Not a part of any version track.
    4559f73
    v4.9.0
    5 months ago
    Released on July 6, 2024 at 12:19:47AM
    Commit 4559f73 builds on its old leanprover/lean4:v4.9.0
    v4.9.0
    2.8 MB Build archive size: 2750167 bytes.
  3. Not a part of any version track.
    9b4aa4e
    v4.7.0
    8 months ago
    Released on April 15, 2024 at 3:08:16AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.7.0
  4. Not a part of any version track.
    a0168be
    v4.5.0
    a year ago
    Released on February 2, 2024 at 8:08:50PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.5.0