SrGaabriellapis0.5.1

✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.
Displaying 1-9 of 9 versions of lapis
Sort by
  1. 0.5Version track: 0.5
    0.5.1
    v0.5.1
    11 days ago
    Released on April 15, 2026 at 3:11:25AM
    Commit 2de2282 builds on its recent leanprover/lean4:v4.30.0-rc1
    v4.30.0-rc1
    12.2 MB Build archive size: 12166618 bytes.
  2. 0.5Version track: 0.5
    0.5.1
    v0.5.1
    11 days ago
    Released on April 15, 2026 at 3:11:25AM
    Commit 2de2282 builds on its recent leanprover/lean4:v4.30.0-rc1
    v4.30.0-rc1
    12.2 MB Build archive size: 12166618 bytes.
  3. 0.5Version track: 0.5
    0.5.0
    v0.5.0
    11 days ago
    Released on April 15, 2026 at 2:46:33AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.30.0-rc1
  4. 0.4Version track: 0.4
    0.4.7
    v0.4.7
    11 days ago
    Released on April 14, 2026 at 10:44:45PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  5. 0.4Version track: 0.4
    0.4.6
    v0.4.6
    a month ago
    Released on March 30, 2026 at 2:47:15PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0
  6. 0.4Version track: 0.4
    0.4.5
    v0.4.5
    a month ago
    Released on March 24, 2026 at 3:23:23AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc7
  7. 0.4Version track: 0.4
    0.4.4
    v0.4.4
    a month ago
    Released on March 23, 2026 at 3:53:02PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    v4.29.0-rc7
  8. 0.4Version track: 0.4
    0.4.3
    v0.4.3
    a month ago
    Released on March 23, 2026 at 2:33:27PM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    stable
  9. 0.4Version track: 0.4
    0.4.2
    v0.4.2
    3 months ago
    Released on January 31, 2026 at 2:01:53AM
    Commit 7ac5820 builds on its old leanprover/lean4:stable
    stable
    13.0 MB Build archive size: 12968166 bytes.