leansolvingCSP0.2.0

Displaying 1-3 of 3 versions of CSP
Sort by
  1. 0.2Version track: 0.2
    0.2.0
    2 months ago
    Released on August 5, 2026 at 10:09:42AM
    Commit e6bd621 builds on its old leanprover/lean4:v4.30.0
    v4.30.0
    22.5 MB Build archive size: 22522359 bytes.
  2. 0.2Version track: 0.2
    0.2.0
    v0.2.0
    2 months ago
    Released on July 29, 2026 at 12:14:31PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0
  3. 1.xVersion track: 1.x
    1.0.0
    v0.1.0
    10 months ago
    Released on December 2, 2025 at 5:02:15PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.24.0-rc1