☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (5)
Dependents (1)
lapis
0.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
Date
0.4
Version 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.
0.4
Version 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.
1
20