Repository navigation

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

Open

fabceolin wants to merge 4 commits into

FSoft-AI4Code:mainfrom

fabceolin:feat/lean-analyzer

Open

feat: Lean 4 analyzer, with header-scanner structure and exact-name resolution#158
fabceolin wants to merge 4 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