Contributors · anthropics/formal-math

Zoomable circles (number of contributors per file): 30 days | 90 days | 6 months | past year | all time

Files with only one contributor are shown as grey.

Contributors

Recent Contributors (6)

Committed in past 6 months (a rookie = the first commit in past year)

Past 30 days (1):

ecprice@anthropic.com

Past 31 to 90 days (5):

jleder@anthropic.com

noreply@anthropic.com

eeasley@anthropic.com

eeeasley@users.noreply.github.com

ralph@anthropic.com

No contributors in past 91 to 180 days.

Historical Contributors (0)

Last contributors more than 6 months ago

Bots

Recent Bots (1)

Committed in past 6 months (a rookie = the first commit in past year)

No bots in past 30 days.

Past 31 to 90 days (1):

49699333+dependabot[bot]@users.noreply.github.com

No bots in past 91 to 180 days.

Historical Bots (0)

Last bots more than 6 months ago

Contributors Matrix (Per Month)

					1	-	5	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
commits					1	-	28	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
line churn					+108K -8	-	+290K -218K	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
	30d	3m	1y	all time
ecprice-ant <ecprice@anthropic.com>	1 +108K / -8	1 +108K / -8	1 +108K / -8	1 +108K / -8		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
jleder3 <jleder@anthropic.com>	-	8 +211K / -209K	8 +211K / -209K	8 +211K / -209K	-	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
Ralph Furman <ralph@anthropic.com>	-	4 +2.4K / -1.2K	4 +2.4K / -1.2K	4 +2.4K / -1.2K	-	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
eeeasley <eeasley@anthropic.com>	-	5 +38K / -4K	5 +38K / -4K	5 +38K / -4K	-	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
Claude <noreply@anthropic.com>	-	6 +727 / -504	6 +727 / -504	6 +727 / -504	-	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
Eric Easley <eeeasley@users.noreply.github.com>	-	5 +38K / -3.6K	5 +38K / -3.6K	5 +38K / -3.6K	-	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-

Bots Matrix (Per Month)

					-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
commits					-	1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
line churn					-	+1 -1	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-
	30d	3m	1y	all time
dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	-	1 +1 / -1	1 +1 / -1	1 +1 / -1	-		-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-	-

1 contributor (1 commit):

#	Contributor	First Commit	Latest Commit	Commits Count	Line Churn	File Updates (per extension)
1.	ecprice-ant <ecprice@anthropic.com>	2026-10-06	2026-10-06	1 (100%)	+108K / -8	lean (434), md (9), json (5), (3), py (3)

6 contributors (29 commits):

#	Contributor	First Commit	Latest Commit	Commits Count	Line Churn	File Updates (per extension)
1.	jleder3 <jleder@anthropic.com>	2026-08-28	2026-08-28	8 (27%)	+211K / -209K	lean (1322), md (20), json (17), (12), yaml (11)
2.	Claude <noreply@anthropic.com>	2026-08-15	2026-08-17	6 (20%)	+727 / -504	lean (12), md (8), json (2), yaml (1)
3.	eeeasley <eeasley@anthropic.com>	2026-08-07	2026-08-18	5 (17%)	+38K / -4K	lean (226), md (9), json (4), yaml (1), (1)
4.	Eric Easley <eeeasley@users.noreply.github.com>	2026-08-07	2026-08-10	5 (17%)	+38K / -3.6K	lean (219), md (7), json (2), (1), toml (1)
5.	Ralph Furman <ralph@anthropic.com>	2026-08-18	2026-08-28	4 (13%)	+2.4K / -1.2K	lean (25), md (7), json (5), yaml (5), sh (3)
6.	ecprice-ant <ecprice@anthropic.com>	2026-10-06	2026-10-06	1 (3%)	+108K / -8	lean (434), md (9), json (5), (3), py (3)

1 bot (1 commit):

#	Bot	First Commit	Latest Commit	Commits Count	Line Churn	File Updates (per extension)
1.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2026-09-05	2026-09-05	1 (100%)	+1 / -1	yaml (1)

Contributor Dependencies

A contributor dependency is detected if two contributors have changed the same files in the past 90 days.

Contributor Dependencies via Shared Files

contributor dependencies 2D graph

The number on lines shows the number of same files that both persons changed in past 90 days.

flowchart TB
    n0["jleder@anthropic.com"]
    n1["eeasley@anthropic.com"]
    n2["eeeasley@users.noreply.github.com"]
    n3["ralph@anthropic.com"]
    n4["noreply@anthropic.com"]
    n5["ecprice@anthropic.com"]
    n6["49699333+dependabot[bot]@users.noreply.github.com"]
    n0 ---|"227"| n1
    n0 ---|"221"| n2
    n1 ---|"221"| n2
    n0 ---|"48"| n3
    n1 ---|"14"| n4
    n0 ---|"10"| n4
    n4 ---|"4"| n2
    n5 ---|"3"| n0
    n5 ---|"1"| n3
    n5 ---|"1"| n1
    n5 ---|"1"| n4
    n5 ---|"1"| n2
    n3 ---|"1"| n1
    n3 ---|"1"| n4
    n3 ---|"1"| n2
    n6 ---|"1"| n3
    n6 ---|"1"| n0
    classDef default fill:#808080,stroke:#ffffff,color:#000000;
    classDef highlighted fill:#00b2ee,stroke:#ffffff,color:#000000;
    linkStyle 0 stroke:#00688bFF,stroke-width:10px
    linkStyle 1 stroke:#00688bED,stroke-width:9px
    linkStyle 2 stroke:#00688bED,stroke-width:9px
    linkStyle 3 stroke:#00688b70,stroke-width:2px
    linkStyle 4 stroke:#00688b4C,stroke-width:1px
    linkStyle 5 stroke:#00688b4C,stroke-width:1px
    linkStyle 6 stroke:#00688b4C,stroke-width:1px
    linkStyle 7 stroke:#00688b4C,stroke-width:1px
    linkStyle 8 stroke:#00688b4C,stroke-width:1px
    linkStyle 9 stroke:#00688b4C,stroke-width:1px
    linkStyle 10 stroke:#00688b4C,stroke-width:1px
    linkStyle 11 stroke:#00688b4C,stroke-width:1px
    linkStyle 12 stroke:#00688b4C,stroke-width:1px
    linkStyle 13 stroke:#00688b4C,stroke-width:1px
    linkStyle 14 stroke:#00688b4C,stroke-width:1px
    linkStyle 15 stroke:#00688b4C,stroke-width:1px
    linkStyle 16 stroke:#00688b4C,stroke-width:1px

Download: Mermaid (.mmd) (open online Mermaid editor)

- open 2D force graph
- open 3D force graph
- open 2D force graph (including all files)
- open 2D force graph (including only shared files)
- open 3D force graph (including all files)
- open 3D force graph (including only shared files)

	Contributor 1	Contributor 2	# shared files
1.	jleder3 <jleder@anthropic.com>	eeeasley <eeasley@anthropic.com>	227 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean comparator/ChallengeDeps.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean ...
2.	jleder3 <jleder@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
3.	eeeasley <eeasley@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
4.	jleder3 <jleder@anthropic.com>	Ralph Furman <ralph@anthropic.com>	48 shared files zeta23/test/landrun_wrapper_test.sh zeta23/comparator/Challenge.lean zeta23/docbuild/lean-toolchain zeta23/Zeta23/LinAlg/RankTrace.lean zeta23/comparator/PrintAxioms/PairCeiling.lean zeta23/formalization.yaml zeta23/Zeta23/LinAlg/Weyl.lean zeta23/Zeta23/LinAlg/Sylvester.lean README.md zeta23/comparator/PrintAxioms.lean zeta23/Gemfile.lock zeta23/comparator/ChallengeDeps.lean zeta23/test/validate_formalization_test.rb zeta23/comparator.json zeta23/comparator/config.json zeta23/comparator/README.md zeta23/docbuild/lakefile.toml .github/workflows/zeta23-ci.yml zeta23/scripts/PrintAxioms.lean zeta23/Zeta23/LinAlg/HermitianPosPart.lean zeta23/ChallengeDeps.lean .github/dependabot.yml zeta23/ChallengeDeps/XiPrime.lean zeta23/AUDIT.md zeta23/scripts/validate-formalization.rb zeta23/comparator/PrintAxioms/XiPrime.lean zeta23/Challenge/XiPrime.lean zeta23/scripts/landrun-wrapper.sh zeta23/scripts/PrintAxioms/PairCeiling.lean zeta23/Gemfile zeta23/README.md zeta23/.gitignore zeta23/comparator/Challenge/XiPrime.lean zeta23/Zeta23/LinAlg/VonNeumann.lean zeta23/Challenge.lean zeta23/Solution.lean zeta23/comparator/Solution.lean zeta23/comparator/ChallengeDeps/XiPrime.lean zeta23/comparator/Solution/XiPrime.lean zeta23/scripts/PrintAxioms/XiPrime.lean zeta23/Solution/XiPrime.lean zeta23/lakefile.toml zeta23/comparator-xiprime.json zeta23/docbuild/lake-manifest.json zeta23/scripts/verify-comparator.sh zeta23/Zeta23/LinAlg/Inertia.lean zeta23/comparator/config-xiprime.json zeta23/Zeta23/LinAlg/PosIndex.lean
5.	eeeasley <eeasley@anthropic.com>	Claude <noreply@anthropic.com>	14 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms/Multiplicity.lean comparator/config-multiplicity.json comparator/PrintAxioms.lean comparator/Solution/Multiplicity.lean comparator/Challenge/Multiplicity.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
6.	jleder3 <jleder@anthropic.com>	Claude <noreply@anthropic.com>	10 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
7.	Claude <noreply@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	4 shared files AUDIT.md comparator/README.md README.md comparator/Challenge/XiPrime.lean
8.	ecprice-ant <ecprice@anthropic.com>	jleder3 <jleder@anthropic.com>	3 shared files .github/scripts/comparator-check.sh README.md .github/workflows/lean-projects.yml
9.	ecprice-ant <ecprice@anthropic.com>	Ralph Furman <ralph@anthropic.com>	1 shared file README.md
10.	ecprice-ant <ecprice@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
11.	ecprice-ant <ecprice@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
12.	ecprice-ant <ecprice@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
13.	Ralph Furman <ralph@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
14.	Ralph Furman <ralph@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
15.	Ralph Furman <ralph@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
16.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	Ralph Furman <ralph@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml
17.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	jleder3 <jleder@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml

Most Connected Contributors

	Contributor	# connections	# commits
1.	jleder3 <jleder@anthropic.com>	6	8
2.	Ralph Furman <ralph@anthropic.com>	6	4
3.	Claude <noreply@anthropic.com>	5	6
4.	eeeasley <eeasley@anthropic.com>	5	5
5.	Eric Easley <eeeasley@users.noreply.github.com>	5	5
6.	ecprice-ant <ecprice@anthropic.com>	5	1
7.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2	1

C-median: 5.0

A half of the contributors has more than 5.0 connections, and a half has less than this number.

C-mean: 4.8

An average number of connections a contributor has with other contributors.

C-index: 5.0

There are 5.0 contributors with 5.0 or more connections.

6 contributors (29 commits):

#	Contributor	First Commit	Latest Commit	Commits Count	Line Churn
1.	jleder3 <jleder@anthropic.com>	2026-08-28	2026-08-28	8 (27%)	+211K / -209K
2.	Claude <noreply@anthropic.com>	2026-08-15	2026-08-17	6 (20%)	+727 / -504
3.	eeeasley <eeasley@anthropic.com>	2026-08-07	2026-08-18	5 (17%)	+38K / -4K
4.	Eric Easley <eeeasley@users.noreply.github.com>	2026-08-07	2026-08-10	5 (17%)	+38K / -3.6K
5.	Ralph Furman <ralph@anthropic.com>	2026-08-18	2026-08-28	4 (13%)	+2.4K / -1.2K
6.	ecprice-ant <ecprice@anthropic.com>	2026-10-06	2026-10-06	1 (3%)	+108K / -8

1 bot (1 commit):

#	Bot	First Commit	Latest Commit	Commits Count	Line Churn
1.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2026-09-05	2026-09-05	1 (100%)	+1 / -1

Contributor Dependencies

A contributor dependency is detected if two contributors have changed the same files in the past 180 days.

Contributor Dependencies via Shared Files

contributor dependencies 2D graph

The number on lines shows the number of same files that both persons changed in past 180 days.

flowchart TB
    n0["jleder@anthropic.com"]
    n1["eeasley@anthropic.com"]
    n2["eeeasley@users.noreply.github.com"]
    n3["ralph@anthropic.com"]
    n4["noreply@anthropic.com"]
    n5["ecprice@anthropic.com"]
    n6["49699333+dependabot[bot]@users.noreply.github.com"]
    n0 ---|"227"| n1
    n0 ---|"221"| n2
    n1 ---|"221"| n2
    n0 ---|"48"| n3
    n1 ---|"14"| n4
    n0 ---|"10"| n4
    n4 ---|"4"| n2
    n5 ---|"3"| n0
    n5 ---|"1"| n3
    n5 ---|"1"| n1
    n5 ---|"1"| n4
    n5 ---|"1"| n2
    n3 ---|"1"| n1
    n3 ---|"1"| n4
    n3 ---|"1"| n2
    n6 ---|"1"| n3
    n6 ---|"1"| n0
    classDef default fill:#808080,stroke:#ffffff,color:#000000;
    classDef highlighted fill:#00b2ee,stroke:#ffffff,color:#000000;
    linkStyle 0 stroke:#00688bFF,stroke-width:10px
    linkStyle 1 stroke:#00688bED,stroke-width:9px
    linkStyle 2 stroke:#00688bED,stroke-width:9px
    linkStyle 3 stroke:#00688b70,stroke-width:2px
    linkStyle 4 stroke:#00688b4C,stroke-width:1px
    linkStyle 5 stroke:#00688b4C,stroke-width:1px
    linkStyle 6 stroke:#00688b4C,stroke-width:1px
    linkStyle 7 stroke:#00688b4C,stroke-width:1px
    linkStyle 8 stroke:#00688b4C,stroke-width:1px
    linkStyle 9 stroke:#00688b4C,stroke-width:1px
    linkStyle 10 stroke:#00688b4C,stroke-width:1px
    linkStyle 11 stroke:#00688b4C,stroke-width:1px
    linkStyle 12 stroke:#00688b4C,stroke-width:1px
    linkStyle 13 stroke:#00688b4C,stroke-width:1px
    linkStyle 14 stroke:#00688b4C,stroke-width:1px
    linkStyle 15 stroke:#00688b4C,stroke-width:1px
    linkStyle 16 stroke:#00688b4C,stroke-width:1px

Download: Mermaid (.mmd) (open online Mermaid editor)

	Contributor 1	Contributor 2	# shared files
1.	jleder3 <jleder@anthropic.com>	eeeasley <eeasley@anthropic.com>	227 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean comparator/ChallengeDeps.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean ...
2.	jleder3 <jleder@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
3.	eeeasley <eeasley@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
4.	jleder3 <jleder@anthropic.com>	Ralph Furman <ralph@anthropic.com>	48 shared files zeta23/test/landrun_wrapper_test.sh zeta23/comparator/Challenge.lean zeta23/docbuild/lean-toolchain zeta23/Zeta23/LinAlg/RankTrace.lean zeta23/comparator/PrintAxioms/PairCeiling.lean zeta23/formalization.yaml zeta23/Zeta23/LinAlg/Weyl.lean zeta23/Zeta23/LinAlg/Sylvester.lean README.md zeta23/comparator/PrintAxioms.lean zeta23/Gemfile.lock zeta23/comparator/ChallengeDeps.lean zeta23/test/validate_formalization_test.rb zeta23/comparator.json zeta23/comparator/config.json zeta23/comparator/README.md zeta23/docbuild/lakefile.toml .github/workflows/zeta23-ci.yml zeta23/scripts/PrintAxioms.lean zeta23/Zeta23/LinAlg/HermitianPosPart.lean zeta23/ChallengeDeps.lean .github/dependabot.yml zeta23/ChallengeDeps/XiPrime.lean zeta23/AUDIT.md zeta23/scripts/validate-formalization.rb zeta23/comparator/PrintAxioms/XiPrime.lean zeta23/Challenge/XiPrime.lean zeta23/scripts/landrun-wrapper.sh zeta23/scripts/PrintAxioms/PairCeiling.lean zeta23/Gemfile zeta23/README.md zeta23/.gitignore zeta23/comparator/Challenge/XiPrime.lean zeta23/Zeta23/LinAlg/VonNeumann.lean zeta23/Challenge.lean zeta23/Solution.lean zeta23/comparator/Solution.lean zeta23/comparator/ChallengeDeps/XiPrime.lean zeta23/comparator/Solution/XiPrime.lean zeta23/scripts/PrintAxioms/XiPrime.lean zeta23/Solution/XiPrime.lean zeta23/lakefile.toml zeta23/comparator-xiprime.json zeta23/docbuild/lake-manifest.json zeta23/scripts/verify-comparator.sh zeta23/Zeta23/LinAlg/Inertia.lean zeta23/comparator/config-xiprime.json zeta23/Zeta23/LinAlg/PosIndex.lean
5.	eeeasley <eeasley@anthropic.com>	Claude <noreply@anthropic.com>	14 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms/Multiplicity.lean comparator/config-multiplicity.json comparator/PrintAxioms.lean comparator/Solution/Multiplicity.lean comparator/Challenge/Multiplicity.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
6.	jleder3 <jleder@anthropic.com>	Claude <noreply@anthropic.com>	10 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
7.	Claude <noreply@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	4 shared files AUDIT.md comparator/README.md README.md comparator/Challenge/XiPrime.lean
8.	ecprice-ant <ecprice@anthropic.com>	jleder3 <jleder@anthropic.com>	3 shared files .github/scripts/comparator-check.sh README.md .github/workflows/lean-projects.yml
9.	ecprice-ant <ecprice@anthropic.com>	Ralph Furman <ralph@anthropic.com>	1 shared file README.md
10.	ecprice-ant <ecprice@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
11.	ecprice-ant <ecprice@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
12.	ecprice-ant <ecprice@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
13.	Ralph Furman <ralph@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
14.	Ralph Furman <ralph@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
15.	Ralph Furman <ralph@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
16.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	Ralph Furman <ralph@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml
17.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	jleder3 <jleder@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml

Most Connected Contributors

	Contributor	# connections	# commits
1.	jleder3 <jleder@anthropic.com>	6	8
2.	Ralph Furman <ralph@anthropic.com>	6	4
3.	Claude <noreply@anthropic.com>	5	6
4.	eeeasley <eeasley@anthropic.com>	5	5
5.	Eric Easley <eeeasley@users.noreply.github.com>	5	5
6.	ecprice-ant <ecprice@anthropic.com>	5	1
7.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2	1

C-median: 5.0

A half of the contributors has more than 5.0 connections, and a half has less than this number.

C-mean: 4.8

An average number of connections a contributor has with other contributors.

C-index: 5.0

There are 5.0 contributors with 5.0 or more connections.

6 contributors (29 commits):

#	Contributor	First Commit	Latest Commit	Commits Count	Line Churn
1.	jleder3 <jleder@anthropic.com>	2026-08-28	2026-08-28	8 (27%)	+211K / -209K
2.	Claude <noreply@anthropic.com>	2026-08-15	2026-08-17	6 (20%)	+727 / -504
3.	eeeasley <eeasley@anthropic.com>	2026-08-07	2026-08-18	5 (17%)	+38K / -4K
4.	Eric Easley <eeeasley@users.noreply.github.com>	2026-08-07	2026-08-10	5 (17%)	+38K / -3.6K
5.	Ralph Furman <ralph@anthropic.com>	2026-08-18	2026-08-28	4 (13%)	+2.4K / -1.2K
6.	ecprice-ant <ecprice@anthropic.com>	2026-10-06	2026-10-06	1 (3%)	+108K / -8

1 bot (1 commit):

#	Bot	First Commit	Latest Commit	Commits Count	Line Churn
1.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2026-09-05	2026-09-05	1 (100%)	+1 / -1

Contributor Dependencies

A contributor dependency is detected if two contributors have changed the same files in the past 365 days.

Contributor Dependencies via Shared Files

contributor dependencies 2D graph

The number on lines shows the number of same files that both persons changed in past 365 days.

flowchart TB
    n0["jleder@anthropic.com"]
    n1["eeasley@anthropic.com"]
    n2["eeeasley@users.noreply.github.com"]
    n3["ralph@anthropic.com"]
    n4["noreply@anthropic.com"]
    n5["ecprice@anthropic.com"]
    n6["49699333+dependabot[bot]@users.noreply.github.com"]
    n0 ---|"227"| n1
    n0 ---|"221"| n2
    n1 ---|"221"| n2
    n0 ---|"48"| n3
    n1 ---|"14"| n4
    n0 ---|"10"| n4
    n4 ---|"4"| n2
    n5 ---|"3"| n0
    n5 ---|"1"| n3
    n5 ---|"1"| n1
    n5 ---|"1"| n4
    n5 ---|"1"| n2
    n3 ---|"1"| n1
    n3 ---|"1"| n4
    n3 ---|"1"| n2
    n6 ---|"1"| n3
    n6 ---|"1"| n0
    classDef default fill:#808080,stroke:#ffffff,color:#000000;
    classDef highlighted fill:#00b2ee,stroke:#ffffff,color:#000000;
    linkStyle 0 stroke:#00688bFF,stroke-width:10px
    linkStyle 1 stroke:#00688bED,stroke-width:9px
    linkStyle 2 stroke:#00688bED,stroke-width:9px
    linkStyle 3 stroke:#00688b70,stroke-width:2px
    linkStyle 4 stroke:#00688b4C,stroke-width:1px
    linkStyle 5 stroke:#00688b4C,stroke-width:1px
    linkStyle 6 stroke:#00688b4C,stroke-width:1px
    linkStyle 7 stroke:#00688b4C,stroke-width:1px
    linkStyle 8 stroke:#00688b4C,stroke-width:1px
    linkStyle 9 stroke:#00688b4C,stroke-width:1px
    linkStyle 10 stroke:#00688b4C,stroke-width:1px
    linkStyle 11 stroke:#00688b4C,stroke-width:1px
    linkStyle 12 stroke:#00688b4C,stroke-width:1px
    linkStyle 13 stroke:#00688b4C,stroke-width:1px
    linkStyle 14 stroke:#00688b4C,stroke-width:1px
    linkStyle 15 stroke:#00688b4C,stroke-width:1px
    linkStyle 16 stroke:#00688b4C,stroke-width:1px

Download: Mermaid (.mmd) (open online Mermaid editor)

	Contributor 1	Contributor 2	# shared files
1.	jleder3 <jleder@anthropic.com>	eeeasley <eeasley@anthropic.com>	227 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean comparator/ChallengeDeps.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean ...
2.	jleder3 <jleder@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
3.	eeeasley <eeasley@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	221 shared files Zeta23/RvM/NcountWindow.lean Zeta23/XiPrime/ExplicitFormula/XiEFAssembly.lean Zeta23/WeilEF/VerticalLine.lean Zeta23/XiPrime/Coeff/ReexpansionGen.lean Zeta23/Assembly.lean Zeta23/ThmD/WindowCore.lean Zeta23/XiPrime/ZeroCount/Y.lean Zeta23/ThmD/Mult.lean Zeta23/XiPrime/Coeff/DiagLaw.lean Zeta23/Taper/Strip.lean Zeta23/XiPrime/Assembly.lean Zeta23/XiPrime/Transfer/Abstract.lean Zeta23/XiPrime/ExplicitFormula/LineBound.lean Zeta23/ThmE/TracesChi.lean Zeta23/XiPrime/PrimeSide/PPUpper.lean Zeta23/WeilEF/Landau.lean Zeta23/ThmD/PsiC.lean AUDIT.md Zeta23/PrimeSideA/EndsCore.lean Zeta23/XiPrime/ExplicitFormula/LitCorr.lean Zeta23/Taper/Norms.lean Zeta23/PairCeiling/LawN256.lean Zeta23/XiPrime/StatementW.lean Zeta23/XiPrime/Window/Quartic.lean Zeta23/PrimeSideB.lean comparator/README.md Zeta23/ThmDE/Traces.lean Zeta23/XiPrime/Certificate/D1.lean Zeta23/XiPrime/ZeroCount/Landau.lean Zeta23/XiPrime/ZeroCount/ArgBound.lean Zeta23/WeilEF/FullLine.lean Zeta23/XiPrime/Coeff.lean Zeta23/PairCeiling/Signed.lean Zeta23/XiPrime/Hardy/EFJTermW.lean Zeta23/Taper.lean Zeta23/XiPrime/PrimeSide/Moments.lean Zeta23/XiPrime/Window/FlatAdm.lean Zeta23/XiPrime/Certificate/Poly.lean Zeta23/PrimeSideA.lean Zeta23/PairCeiling/Bridge.lean Zeta23/XiPrime/QuarticWindow/Params.lean Zeta23/XiPrime/Hardy/Contour.lean Zeta23/XiPrime/ZeroCount/Basic.lean Zeta23/XiPrime/ZeroCount/Contour.lean Zeta23/XiPrime/PrimeSide/Trace.lean Zeta23/FromPNTPlus/MediumPNT.lean Zeta23/XiPrime/ExplicitFormula/TestWeight.lean README.md Zeta23/XiPrime/ExplicitFormula.lean Zeta23/XiPrime/Coeff/H3.lean Zeta23/PairCeiling/Grid.lean Zeta23/WeilEF/ZeroSummabilityGen.lean Zeta23/XiPrime/Coeff/LayerOne.lean Zeta23/XiPrime/QuarticWindow.lean Zeta23/LinAlg/RankTrace.lean Zeta23/FinalMult.lean Zeta23/XiPrime/Hardy/EFWeights.lean Zeta23/ThmD/Functional.lean Zeta23/LinAlg/Inertia.lean Zeta23/XiPrime/Coeff/PowerSums.lean Zeta23/ZeroSide/TightMult.lean Zeta23/ZeroSide/RankTraceMult.lean Zeta23/Final.lean Zeta23/ThmE/PPChi.lean Zeta23/WeilEF/ZeroSummability.lean Zeta23/LinAlg/VonNeumann.lean Zeta23/XiPrime/Coeff/ReexpansionW.lean Zeta23/PairCeiling/NearCUE.lean Zeta23/XiPrime/ExplicitFormula/Main.lean Zeta23/ExplicitFormula.lean Zeta23/XiPrime/Hardy/Omega.lean Zeta23/XiPrime/Coeff/Abel.lean Zeta23/ThmE/ReZeroCountChi.lean Zeta23/XiPrime/Defs.lean Zeta23/XiPrime/Hardy/ZeroFree.lean Zeta23/ZeroSide.lean Zeta23/PairCeiling/Ceiling.lean Zeta23/XiPrime/Certificate/AtOne.lean Zeta23/PrimeSideA/MuMu.lean Zeta23/XiPrime/PrimeSide/Final.lean Zeta23/XiPrime/Hardy/EFBasic.lean Zeta23/Taper/GevreyPhi.lean Zeta23/ThmE/MuMuChi.lean Zeta23/LinAlg/HermitianPosPart.lean Zeta23/Analytic/RectangleLogDeriv.lean comparator/PrintAxioms/PairCeiling.lean Zeta23/PrimeSideA/EndsE2.lean Zeta23/XiPrime/Hardy/TwoLine.lean comparator/PrintAxioms/XiPrime.lean Zeta23/XiPrime/ExplicitFormula/FullLine.lean Zeta23/XiPrime/PrimeSide/Density.lean comparator/Challenge/XiPrime.lean Zeta23/ThmE/FullLineChiFold.lean Zeta23/PrimeSideA/CrossMuP.lean Zeta23/Taper/Decay.lean Zeta23/MV/Spacing.lean Zeta23/ThmE/Main.lean Zeta23.lean Zeta23/XiPrime/Hardy/Seam.lean Zeta23/XiPrime/ExplicitFormula/ZeroFree.lean ...
4.	jleder3 <jleder@anthropic.com>	Ralph Furman <ralph@anthropic.com>	48 shared files zeta23/test/landrun_wrapper_test.sh zeta23/comparator/Challenge.lean zeta23/docbuild/lean-toolchain zeta23/Zeta23/LinAlg/RankTrace.lean zeta23/comparator/PrintAxioms/PairCeiling.lean zeta23/formalization.yaml zeta23/Zeta23/LinAlg/Weyl.lean zeta23/Zeta23/LinAlg/Sylvester.lean README.md zeta23/comparator/PrintAxioms.lean zeta23/Gemfile.lock zeta23/comparator/ChallengeDeps.lean zeta23/test/validate_formalization_test.rb zeta23/comparator.json zeta23/comparator/config.json zeta23/comparator/README.md zeta23/docbuild/lakefile.toml .github/workflows/zeta23-ci.yml zeta23/scripts/PrintAxioms.lean zeta23/Zeta23/LinAlg/HermitianPosPart.lean zeta23/ChallengeDeps.lean .github/dependabot.yml zeta23/ChallengeDeps/XiPrime.lean zeta23/AUDIT.md zeta23/scripts/validate-formalization.rb zeta23/comparator/PrintAxioms/XiPrime.lean zeta23/Challenge/XiPrime.lean zeta23/scripts/landrun-wrapper.sh zeta23/scripts/PrintAxioms/PairCeiling.lean zeta23/Gemfile zeta23/README.md zeta23/.gitignore zeta23/comparator/Challenge/XiPrime.lean zeta23/Zeta23/LinAlg/VonNeumann.lean zeta23/Challenge.lean zeta23/Solution.lean zeta23/comparator/Solution.lean zeta23/comparator/ChallengeDeps/XiPrime.lean zeta23/comparator/Solution/XiPrime.lean zeta23/scripts/PrintAxioms/XiPrime.lean zeta23/Solution/XiPrime.lean zeta23/lakefile.toml zeta23/comparator-xiprime.json zeta23/docbuild/lake-manifest.json zeta23/scripts/verify-comparator.sh zeta23/Zeta23/LinAlg/Inertia.lean zeta23/comparator/config-xiprime.json zeta23/Zeta23/LinAlg/PosIndex.lean
5.	eeeasley <eeasley@anthropic.com>	Claude <noreply@anthropic.com>	14 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms/Multiplicity.lean comparator/config-multiplicity.json comparator/PrintAxioms.lean comparator/Solution/Multiplicity.lean comparator/Challenge/Multiplicity.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
6.	jleder3 <jleder@anthropic.com>	Claude <noreply@anthropic.com>	10 shared files AUDIT.md comparator/README.md README.md comparator/ChallengeDeps.lean comparator/Challenge/XiPrime.lean comparator/PrintAxioms.lean formalization.yaml comparator/Solution.lean comparator/Challenge.lean comparator/config.json
7.	Claude <noreply@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	4 shared files AUDIT.md comparator/README.md README.md comparator/Challenge/XiPrime.lean
8.	ecprice-ant <ecprice@anthropic.com>	jleder3 <jleder@anthropic.com>	3 shared files .github/scripts/comparator-check.sh README.md .github/workflows/lean-projects.yml
9.	ecprice-ant <ecprice@anthropic.com>	Ralph Furman <ralph@anthropic.com>	1 shared file README.md
10.	ecprice-ant <ecprice@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
11.	ecprice-ant <ecprice@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
12.	ecprice-ant <ecprice@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
13.	Ralph Furman <ralph@anthropic.com>	eeeasley <eeasley@anthropic.com>	1 shared file README.md
14.	Ralph Furman <ralph@anthropic.com>	Claude <noreply@anthropic.com>	1 shared file README.md
15.	Ralph Furman <ralph@anthropic.com>	Eric Easley <eeeasley@users.noreply.github.com>	1 shared file README.md
16.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	Ralph Furman <ralph@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml
17.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	jleder3 <jleder@anthropic.com>	1 shared file .github/workflows/zeta23-ci.yml

Most Connected Contributors

	Contributor	# connections	# commits
1.	jleder3 <jleder@anthropic.com>	6	8
2.	Ralph Furman <ralph@anthropic.com>	6	4
3.	Claude <noreply@anthropic.com>	5	6
4.	eeeasley <eeasley@anthropic.com>	5	5
5.	Eric Easley <eeeasley@users.noreply.github.com>	5	5
6.	ecprice-ant <ecprice@anthropic.com>	5	1
7.	dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2	1

C-median: 5.0

A half of the contributors has more than 5.0 connections, and a half has less than this number.

C-mean: 4.8

An average number of connections a contributor has with other contributors.

C-index: 5.0

There are 5.0 contributors with 5.0 or more connections.

Contributors' details...