Repository navigation

feat: Lean 4 analyzer, with header-scanner structure and exact-name resolution - #158

Merged

anhnh2002 merged 5 commits into

FSoft-AI4Code:mainfrom

fabceolin:feat/lean-analyzer

Nov 9, 2026

Merged

feat: Lean 4 analyzer, with header-scanner structure and exact-name resolution#158
anhnh2002 merged 5 commits into
FSoft-AI4Code:mainfrom
fabceolin:feat/lean-analyzer

Commits on Nov 6, 2026
- deps: move tree-sitter-language-pack to 1.x, and read Dart type arguments from the call
  
  fabceolin
  and
  claude
  committed
  ceb1a20
- deps: stop the analysis once, with a clear error, when a pack grammar cannot be downloaded
  
  fabceolin
  and
  claude
  committed
  474a1d8
- feat: Lean 4 analyzer, with header-scanner structure and exact-name resolution
  
  fabceolin
  and
  claude
  committed
  5e7e863
- style: ruff format the Lean masking test
  
  fabceolin
  and
  claude
  committed
  362b5f1
Commits on Nov 9, 2026
- fix: correct Lean scopes, open resolution, and export aliases
  anhnh2002
  committed
  f4e6ca9