Repository navigation

Add exposition site: per-project dependency graphs + declaration index - #279

Merged

Vilin97 merged 1 commit into

mainfrom

claude/lean-pool-exposition-1f7ce9

Jul 23, 2026

Merged

Add exposition site: per-project dependency graphs + declaration index#279
Vilin97 merged 1 commit into
mainfrom
claude/lean-pool-exposition-1f7ce9

Commits on Jul 22, 2026
- Add exposition site: per-project dependency graphs + declaration index
  
  Vilin97
  and
  claude
  committed
  d4e0cb2