Skip to content

feat: improve semantic highlighting - #16151

Open
RIvance wants to merge 5 commits into
leanprover:masterfrom
RIvance:patch-semantic-highlighting
Open

RIvance wants to merge 5 commits into
leanprover:masterfrom
RIvance:patch-semantic-highlighting