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.
    139af3f
    2 months ago
    Released on August 14, 2024 at 6:12:03AM
    Commit 139af3f builds on its old leanprover/lean4:v4.10.0
    v4.10.0
    2.8 MB Build archive size: 2792600 bytes.
  2. Not a part of any version track.
    4559f73
    v4.9.0
    3 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
    6 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
    8 months 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