Skip to content

exposition: LOC per project + main-result/dependency metrics in decls viewer - #407

Merged
Vilin97 merged 1 commit into
mainfrom
claude/lean-pool-exposition-metrics-f1f70f
Sep 10, 2026
Merged

exposition: LOC per project + main-result/dependency metrics in decls viewer#407
Vilin97 merged 1 commit into
mainfrom
claude/lean-pool-exposition-metrics-f1f70f

exposition: LOC per project + main/dependency metrics in decls viewer

82303dd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar