Skip to content

Lean lsp highlighting#330

Open
Tammo0987 wants to merge 14 commits intomappingfrom
lean-lsp-highlighting
Open

Lean lsp highlighting#330
Tammo0987 wants to merge 14 commits intomappingfrom
lean-lsp-highlighting

Commits

Commits on Feb 24, 2026

Commits on Mar 17, 2026

Commits on Mar 24, 2026

Commits on Apr 13, 2026