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
    23 days 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.
  2. 0.4Version track: 0.4
    0.4.2
    v0.4.2
    23 days 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.