SrGaabriellapis0.4.2

✏️ | A cutting-edge, concurrent & performant Language Server Protocol (LSP) framework for Lean 4.
Displaying 1-2 of 2 versions of lapis
Sort by
  1. 0.4Version track: 0.4
    0.4.2
    v0.4.2
    2 days ago
    Released on January 31, 2026 at 2:01:53AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    stable
  2. 0.4Version track: 0.4
    0.4.2
    v0.4.2
    2 days ago
    Released on January 31, 2026 at 2:01:53AM
    Build data not currently included on Reservoir. See the package repository's CI instead.
    stable