SrGaabriellapis0.4.5

✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.
Displaying 1-5 of 5 versions of lapis
Sort by
  1. 0.4Version track: 0.4
    0.4.5
    v0.4.5
    6 days 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
  2. 0.4Version track: 0.4
    0.4.5
    v0.4.5
    6 days 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
  3. 0.4Version track: 0.4
    0.4.4
    v0.4.4
    6 days 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
  4. 0.4Version track: 0.4
    0.4.3
    v0.4.3
    6 days 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
  5. 0.4Version track: 0.4
    0.4.2
    v0.4.2
    2 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.