Repository navigation

fix: tolerate Lean document identifier field rename - #422

Open

ejgallego wants to merge 2 commits into

mainfrom

fix/lsp-version-field-compat

Open

fix: tolerate Lean document identifier field rename#422
ejgallego wants to merge 2 commits into
mainfrom
fix/lsp-version-field-compat

Commits on Nov 9, 2026
- fix: tolerate Lean 4.37 document identifier field rename
  ejgallego
  committed
  61c74f4
Commits on Nov 13, 2026
- test: cover missing and null document versions
  ejgallego
  committed
  a86d398