Correct declaration, proof, recursion, and dependency metrics - #1

Correct declaration, proof, recursion, and dependency metrics#1

Vasily Ilin (Vilin97) merged 1 commit into

mainAxiomMath/lean-metrics:mainfrom

codex/fix-metric-correctnessAxiomMath/lean-metrics:codex/fix-metric-correctnessCopy head branch name to clipboard