Duplication · anthropics/formal-math

Duplication Overall

9% duplication:

183,408 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
16,774 duplicated lines

134,008 duplicates

dependency graphs: 2D graph | 2D graph (with duplicates)... | 3D graph | 3D graph (with duplicates)...

Duplication per Extension

Duplication per Component (primary)

Duplication Between Components (50+ lines)

flowchart TB
    n0["3sum-apsp"]
    n1["zeta23"]
    n0 ---|"1710"| n1
    classDef default fill:#00b2ee,stroke:#ffffff,color:#000000;
    classDef highlighted fill:#00b2ee,stroke:#ffffff,color:#000000;
    linkStyle 0 stroke:#DC143CFF,stroke-width:10px

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

2D force graph | 3D force graph

Show more details on duplication between components...

From Component --> To Component	Duplicated Lines	File Pairs	Details
3sum-apsp (<1%) --> zeta23 (<1%)	1710	284 file pairs	details...

Longest Duplicates

The list of 50 longest duplicates.

See data for all 134,008 duplicates...

Size	#	Folders	Files	Lines	Code
111	x 2	zeta23/Zeta23/ThmE zeta23/Zeta23/WeilEF	lean FullLineChiProof.lean VerticalLine.lean	508:618 (18%) 675:785 (14%)	view
107	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD	lean Endgame.lean Mult.lean	93:199 (25%) 97:203 (23%)	view
107	x 2	zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE	lean Endgame.lean Mult.lean	95:201 (25%) 84:190 (24%)	view
87	x 2	zeta23/Zeta23/PrimeSideA zeta23/Zeta23/PrimeSideA	lean EndsE1.lean EndsE1.lean	621:707 (10%) 732:818 (10%)	view
83	x 2	zeta23/Zeta23/ThmE zeta23/Zeta23/WeilEF	lean FullLineChiProof.lean VerticalLine.lean	111:193 (13%) 329:411 (10%)	view
82	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Endgame.lean Endgame.lean	256:337 (19%) 259:340 (19%)	view
77	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD	lean Mult.lean Mult.lean	122:198 (16%) 281:357 (16%)	view
77	x 2	zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	109:185 (17%) 269:345 (17%)	view
77	x 2	zeta23/Zeta23/PrimeSideA zeta23/Zeta23/PrimeSideA	lean Basic.lean Basic.lean	366:442 (6%) 564:640 (6%)	view
77	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD	lean Endgame.lean Mult.lean	118:194 (18%) 281:357 (16%)	view
77	x 2	zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE	lean Endgame.lean Mult.lean	120:196 (18%) 269:345 (17%)	view
73	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/XiPrime/QuarticWindow	lean Window.lean Moments.lean	1012:1084 (4%) 56:128 (14%)	view
70	x 2	zeta23/Zeta23/WeilEF zeta23/Zeta23/WeilEF	lean Effective.lean Landau.lean	75:144 (7%) 528:597 (10%)	view
64	x 2	zeta23/Zeta23/GammaFacts zeta23/Zeta23/ThmE	lean IntMu.lean IntMuChi.lean	242:305 (12%) 134:197 (9%)	view
64	x 2	zeta23/Zeta23/GammaFacts zeta23/Zeta23/ThmE	lean IntMu.lean IntMuChi.lean	446:509 (12%) 338:401 (9%)	view
63	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Traces.lean Traces.lean	322:389 (9%) 74:141 (25%)	view
59	x 2	zeta23 zeta23	lean Challenge.lean ChallengeDeps.lean	43:122 (31%) 30:109 (69%)	view
53	x 2	zeta23/Zeta23/RvM zeta23/Zeta23/ThmE	lean Backlund.lean BacklundChi.lean	110:162 (13%) 90:142 (15%)	view
48	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	328:376 (10%) 316:364 (10%)	view
47	x 2	zeta23/Zeta23 zeta23/Zeta23/XiPrime	lean FinalMult.lean Assembly.lean	270:316 (13%) 208:254 (8%)	view
45	x 2	zeta23/Zeta23/RvM zeta23/Zeta23/ThmE	lean Backlund.lean BacklundChi.lean	207:251 (11%) 187:231 (13%)	view
41	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Concrete.lean Concrete.lean	141:181 (17%) 119:159 (18%)	view
41	x 2	zeta23/Zeta23 zeta23/Zeta23/ThmE	lean FinalMult.lean Mult.lean	206:246 (11%) 170:210 (12%)	view
40	x 2	zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime	lean Mult.lean Assembly.lean	236:275 (12%) 208:247 (7%)	view
40	x 2	zeta23/Zeta23 zeta23/Zeta23/ThmE	lean FinalMult.lean Mult.lean	270:309 (11%) 236:275 (12%)	view
39	x 2	zeta23/Zeta23 zeta23/Zeta23/XiPrime	lean FinalMult.lean Assembly.lean	215:253 (11%) 155:193 (7%)	view
37	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Endgame.lean Endgame.lean	165:203 (8%) 167:205 (8%)	view
35	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	169:203 (7%) 156:190 (7%)	view
35	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Endgame.lean Mult.lean	165:199 (8%) 156:190 (7%)	view
35	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Endgame.lean	169:203 (7%) 167:201 (8%)	view
34	x 2	zeta23/Zeta23/PrimeSideA zeta23/Zeta23/PrimeSideA	lean Basic.lean Basic.lean	67:100 (2%) 361:394 (2%)	view
33	x 2	zeta23/Zeta23/GammaFacts zeta23/Zeta23/ThmE	lean Mu.lean GammaFactsChiProof.lean	429:461 (7%) 317:349 (8%)	view
32	x 2	zeta23/Zeta23 zeta23/Zeta23	lean FinalMult.lean FinalMult.lean	224:255 (9%) 287:318 (9%)	view
32	x 2	zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime	lean Assembly.lean Assembly.lean	164:195 (5%) 225:256 (5%)	view
32	x 2	zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime	lean Mult.lean Assembly.lean	179:210 (9%) 155:186 (5%)	view
31	x 2	zeta23/Zeta23/ThmE zeta23/Zeta23/ThmE	lean Mult.lean Mult.lean	188:218 (9%) 253:283 (9%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	169:198 (6%) 316:345 (6%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	328:357 (6%) 156:185 (6%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/XiPrime/QuarticWindow	lean Window.lean Moments.lean	1416:1445 (1%) 309:338 (5%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/XiPrime/QuarticWindow	lean Window.lean Moments.lean	1569:1598 (1%) 447:476 (5%)	view
30	x 2	zeta23/Zeta23/RvM zeta23/Zeta23/ThmE	lean ReZeroCount.lean ReZeroCountChi.lean	246:275 (8%) 178:207 (9%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Endgame.lean Mult.lean	165:194 (7%) 316:345 (6%)	view
30	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Endgame.lean	328:357 (6%) 167:196 (7%)	view
30	x 2	zeta23/Zeta23 zeta23/Zeta23/XiPrime	lean FinalMult.lean Assembly.lean	224:253 (8%) 225:254 (5%)	view
30	x 2	zeta23/Zeta23 zeta23/Zeta23/XiPrime	lean FinalMult.lean Assembly.lean	287:316 (8%) 164:193 (5%)	view
29	x 2	zeta23/Zeta23/PrimeSideA zeta23/Zeta23/PrimeSideA	lean Basic.lean Basic.lean	72:100 (2%) 564:592 (2%)	view
29	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	139:167 (6%) 126:154 (6%)	view
29	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	139:167 (6%) 286:314 (6%)	view
29	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	298:326 (6%) 126:154 (6%)	view
29	x 2	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean	298:326 (6%) 286:314 (6%)	view

Most Frequent Duplicates

The list of 50 most frequently found duplicates.

Size	#	Folders	Files	Lines	Code
6	x 431	3sum-apsp/ThreeSumApsp/ConditionalTimes 3sum-apsp/ThreeSumApsp/TimeClaims/Sec3 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary40 3sum-apsp/ThreeSumApsp/Util/Asymptotics 3sum-apsp/ThreeSumApsp/P...ams/Sec3/Theorem17/Host 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem21a/ChanHe 3sum-apsp/ThreeSumApsp/Spec/Sec3/Theorem17 3sum-apsp/ThreeSumApsp/Util 3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus 3sum-apsp/ThreeSumApsp/P.../Corollary39/ZeroWeight ...	lean SmallFacts.lean Corollary15_16.lean UMvRoutines.lean LogU.lean Time.lean Program.lean Instances.lean StablePass.lean FindNegativeTriangle.lean Host.lean ...	1:6 (10%) 1:6 (4%) 1:6 (1%) 1:6 (6%) 1:6 (5%) 1:6 (4%) 1:6 (13%) 1:6 (6%) 1:6 (1%) 1:6 (2%) ...	view
6	x 285	zeta23/Zeta23/PrimeSideB zeta23/Zeta23/XiPrime/Coeff zeta23/Zeta23/XiPrime/Hardy zeta23/Zeta23/XiPrime/QuarticWindow zeta23/Zeta23 zeta23/Zeta23/PairCeiling zeta23/Zeta23/XiPrime zeta23/Zeta23 zeta23/Zeta23/Poisson zeta23/Zeta23/XiPrime/Certificate ...	lean PPOffDiag.lean NonSquarefree.lean EFMain.lean Moments.lean Assembly.lean NumericCert.lean Transfer.lean ZetaReflect.lean PaperFT.lean AtOne.lean ...	1:6 (3%) 1:6 (1%) 1:6 (1%) 1:6 (1%) 1:6 (<1%) 1:6 (2%) 1:6 (<1%) 1:6 (1%) 1:6 (4%) 1:6 (4%) ...	view
6	x 28	3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/Sec3 3sum-apsp/ThreeSumApsp/Sec4 3sum-apsp/ThreeSumApsp/Spec/Sec3/Theorem21a 3sum-apsp/ThreeSumApsp/Sec3/Theorem21a 3sum-apsp/ThreeSumApsp/Sec3/Theorem21b 3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/Sec3 3sum-apsp/ThreeSumApsp/Sec2 3sum-apsp/ThreeSumApsp/Sec3 ...	lean WordSize.lean Parameters.lean ChoosingParameters.lean NodeArray.lean Convolution.lean NegativeTriangle.lean RowMajor.lean TripartiteOfGraph.lean Levels.lean Chunks.lean ...	2:8 (5%) 2:8 (8%) 2:8 (2%) 2:8 (6%) 2:8 (4%) 2:8 (3%) 2:8 (7%) 2:8 (6%) 2:8 (2%) 2:8 (8%) ...	view
6	x 18	3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Tables 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Tables 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Wanted 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Wanted 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Encode 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned ...	lean CellDependencies.lean Coefficients.lean BandCounters.lean SortedFacts.lean Slices.lean Report.lean Union.lean WordSize.lean AllBands.lean Restrict.lean ...	2:8 (6%) 2:8 (7%) 2:8 (4%) 2:8 (1%) 2:8 (1%) 2:8 (6%) 2:8 (2%) 2:8 (3%) 2:8 (2%) 2:8 (1%) ...	view
6	x 17	3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/P...c3/Theorem17/Parameters 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem21a/ChanHe 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 ...	lean FillList.lean Tile.lean Logs.lean Sizes.lean Horner.lean Lookup.lean Buckets.lean OutDigits.lean StarFirst.lean Scatter.lean ...	2:8 (1%) 2:8 (3%) 2:8 (2%) 2:8 (1%) 2:8 (7%) 2:8 (6%) 2:8 (<1%) 2:8 (2%) 2:8 (3%) 2:8 (3%) ...	view
6	x 16	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23 zeta23/Zeta23 zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime ...	lean Endgame.lean Mult.lean Mult.lean Mult.lean FinalMult.lean Assembly.lean Endgame.lean AssemblyQ.lean Assembly.lean Assembly.lean ...	158:163 (1%) 211:216 (1%) 162:167 (1%) 149:154 (1%) 248:253 (1%) 1246:1251 (<1%) 160:165 (1%) 372:377 (1%) 188:193 (1%) 249:254 (1%) ...	view
6	x 14	zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/Transfer zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime/PrimeSide zeta23/Zeta23/XiPrime/Transfer zeta23/Zeta23/XiPrime/PrimeSide ...	lean Concrete.lean Moments.lean Density.lean Abel.lean Final.lean InputsW.lean FamilyHypsV.lean Traces.lean W.lean PPUpper.lean ...	2:7 (1%) 2:7 (3%) 2:7 (2%) 2:7 (2%) 2:7 (5%) 2:7 (13%) 2:7 (1%) 2:7 (1%) 2:7 (1%) 2:7 (4%) ...	view
6	x 11	3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem17/Hashing 3sum-apsp/ThreeSumApsp/Lang/Lib ...	lean Emod.lean Sieve.lean Merge.lean Odometer.lean ArrayAt.lean PowTable.lean CountSort.lean Phases.lean SizeTable.lean Pass.lean ...	2:8 (2%) 2:8 (1%) 2:8 (3%) 2:8 (8%) 2:8 (5%) 2:8 (6%) 2:8 (1%) 2:8 (2%) 2:8 (6%) 2:8 (10%) ...	view
6	x 11	3sum-apsp/ThreeSumApsp/Sec3/Theorem21a 3sum-apsp/ThreeSumApsp/Sec3/Theorem21b 3sum-apsp/ThreeSumApsp/Sec3/Theorem21a/ChanHe 3sum-apsp/ThreeSumApsp/Sec5 3sum-apsp/Challenge 3sum-apsp/ThreeSumApsp/Sec3/Theorem21b 3sum-apsp/ThreeSumApsp/Sec3/Theorem21b 3sum-apsp/ThreeSumApsp/Sec3 3sum-apsp/ThreeSumApsp/Sec5/Corollary39 3sum-apsp/ThreeSumApsp/Sec2 ...	lean Convolution.lean NegativeTriangle.lean Definitions.lean Lemma36a.lean PaperStatements.lean PathsAndWalks.lean RepeatedSquaring.lean TripartiteOfGraph.lean Definitions.lean Levels.lean ...	3:10 (4%) 3:10 (3%) 3:10 (16%) 3:10 (2%) 3:10 (2%) 3:10 (5%) 3:10 (3%) 3:10 (6%) 3:10 (5%) 3:10 (2%) ...	view
6	x 11	3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Tables 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Wanted 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Encode 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Tables 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Wanted 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Pruned 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Wanted ...	lean CellDependencies.lean Coefficients.lean Slices.lean Report.lean Union.lean BandArrayFacts.lean Binomials.lean Codes.lean Restrict.lean Gather.lean ...	3:10 (6%) 3:10 (7%) 3:10 (1%) 3:10 (6%) 3:10 (2%) 3:10 (3%) 3:10 (2%) 3:10 (<1%) 3:10 (1%) 3:10 (8%) ...	view
6	x 10	zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/ThmE zeta23/Zeta23/ThmE zeta23/Zeta23 zeta23/Zeta23	lean FinalMult.lean Mult.lean Assembly.lean AssemblyQ.lean Assembly.lean Assembly.lean Mult.lean Mult.lean FinalMult.lean FinalMult.lean	95:100 (1%) 57:62 (1%) 1168:1173 (<1%) 298:303 (1%) 148:153 (1%) 209:214 (1%) 171:176 (1%) 237:242 (1%) 207:212 (1%) 271:276 (1%)	view
6	x 10	3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30	lean FillList.lean Tile.lean Horner.lean Lookup.lean OutDigits.lean StarFirst.lean Scatter.lean AllTiles.lean QuerySum.lean SumTen.lean	3:9 (1%) 3:9 (3%) 3:9 (7%) 3:9 (6%) 3:9 (2%) 3:9 (3%) 3:9 (3%) 3:9 (2%) 3:9 (1%) 3:9 (4%)	view
6	x 9	3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus 3sum-apsp/ThreeSumApsp/P.../Corollary39/ZeroWeight 3sum-apsp/ThreeSumApsp/P...orollary39/MinMaxWeight 3sum-apsp/ThreeSumApsp/P...orollary39/MinMaxWeight 3sum-apsp/ThreeSumApsp/P...ms/Sec3/Theorem21b/Apsp 3sum-apsp/ThreeSumApsp/P...rem21b/NegativeTriangle 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem19 3sum-apsp/ThreeSumApsp/P...ams/Sec3/Theorem17/Host 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem21a/ChanHe	lean FindNegativeTriangle.lean Host.lean Host.lean MinTriangle.lean Host.lean Host.lean ChooseBySize.lean NeedPolynomial.lean TimeBound.lean	2:8 (1%) 2:8 (2%) 2:8 (<1%) 2:8 (4%) 2:8 (2%) 2:8 (1%) 2:8 (5%) 2:8 (5%) 2:8 (3%)	view
6	x 9	3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem19 3sum-apsp/ThreeSumApsp/P...ms/Sec3/Theorem21b/Apsp 3sum-apsp/ThreeSumApsp/P...ams/Sec3/Corollary15_16 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Encode 3sum-apsp/ThreeSumApsp/P...rem21b/NegativeTriangle 3sum-apsp/ThreeSumApsp/P...ms/Sec2/Theorem5/Encode 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/P...ec3/Theorem17/Instances	lean Graphs.lean Passes.lean CountAndDetect.lean Step.lean Passes.lean BandArray.lean Insert.lean NineFirst.lean WriteMatrices.lean	2:8 (2%) 2:8 (1%) 2:8 (3%) 2:8 (3%) 2:8 (2%) 2:8 (<1%) 2:8 (1%) 2:8 (4%) 2:8 (1%)	view
6	x 8	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Assembly.lean AssemblyQ.lean Mult.lean Mult.lean	161:166 (1%) 148:153 (1%) 157:162 (1%) 159:164 (1%) 1245:1250 (<1%) 371:376 (1%) 320:325 (1%) 308:313 (1%)	view
6	x 8	zeta23/Zeta23/PrimeSideB zeta23/Zeta23 zeta23/Zeta23/Assembly zeta23/Zeta23/PrimeSideB zeta23/Zeta23/PrimeSideB zeta23/Zeta23/PrimeSideB zeta23/Zeta23 zeta23/Zeta23/PrimeSideA	lean PPOffDiag.lean PrimeSideTemp.lean Inputs.lean Final.lean Traces.lean Concrete.lean TracesBoundsE.lean Bridge.lean	3:8 (3%) 3:8 (7%) 3:8 (10%) 3:8 (21%) 3:8 (3%) 3:8 (7%) 3:8 (13%) 3:8 (5%)	view
6	x 8	zeta23/Zeta23/PrimeSideB zeta23/Zeta23 zeta23/Zeta23/Assembly zeta23/Zeta23/PrimeSideB zeta23/Zeta23/PrimeSideB zeta23/Zeta23/PrimeSideB zeta23/Zeta23 zeta23/Zeta23/PrimeSideA	lean PPOffDiag.lean PrimeSideTemp.lean Inputs.lean Final.lean Traces.lean Concrete.lean TracesBoundsE.lean Bridge.lean	2:7 (3%) 2:7 (7%) 2:7 (10%) 2:7 (21%) 2:7 (3%) 2:7 (7%) 2:7 (13%) 2:7 (5%)	view
6	x 8	3sum-apsp/ThreeSumApsp/P...2/Theorem5/AllInstances 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem19 3sum-apsp/ThreeSumApsp/P.../Theorem21a/Convolution 3sum-apsp/ThreeSumApsp/P...ms/Sec3/Theorem21b/Apsp 3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39 3sum-apsp/ThreeSumApsp/P...rem21b/NegativeTriangle	lean Solver.lean Claim.lean BruteForceClaim.lean TimeBound.lean TimeBound.lean TimeBound.lean Tasks.lean TimeBound.lean	2:8 (1%) 2:8 (11%) 2:8 (18%) 2:8 (6%) 2:8 (11%) 2:8 (2%) 2:8 (3%) 2:8 (8%)	view
6	x 8	3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus 3sum-apsp/ThreeSumApsp/P...Sec4/ChoosingParameters 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem17/Hashing 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem21a/ChanHe	lean CopyBlock.lean Contracts.lean RadixPass.lean LibraryContracts.lean MergeSort.lean BitSearch.lean Strassen.lean Prepare.lean	2:8 (5%) 2:8 (4%) 2:8 (3%) 2:8 (10%) 2:8 (3%) 2:8 (1%) 2:8 (<1%) 2:8 (1%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	3:8 (2%) 3:8 (4%) 3:8 (3%) 3:8 (5%) 3:8 (2%) 3:8 (3%) 3:8 (4%)	view
6	x 7	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23 zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Assembly.lean Mult.lean Mult.lean	160:165 (1%) 147:152 (1%) 156:161 (1%) 158:163 (1%) 1244:1249 (<1%) 319:324 (1%) 307:312 (1%)	view
6	x 7	3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Theorem22 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Theorem22 3sum-apsp/ThreeSumApsp/R...gTimes/Sec5/Corollary39 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Theorem19 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Theorem22 3sum-apsp/ThreeSumApsp/R...mes/Sec3/Corollary15_16 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Theorem19	lean ApspLayout.lean MinPlusLayout.lean ZeroWeightLayout.lean Layout.lean ThreeSumLayout.lean Layout.lean GraphsLayout.lean	2:8 (5%) 2:8 (5%) 2:8 (3%) 2:8 (6%) 2:8 (8%) 2:8 (1%) 2:8 (4%)	view
6	x 7	3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/P.../Sec3/Theorem17/Hashing	lean Emod.lean Sieve.lean Merge.lean Odometer.lean PowTable.lean CountSort.lean SizeTable.lean	3:9 (2%) 3:9 (1%) 3:9 (3%) 3:9 (8%) 3:9 (6%) 3:9 (1%) 3:9 (6%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	6:11 (2%) 6:11 (4%) 6:11 (3%) 6:11 (5%) 6:11 (2%) 6:11 (3%) 6:11 (4%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	2:7 (2%) 2:7 (4%) 2:7 (3%) 2:7 (5%) 2:7 (2%) 2:7 (3%) 2:7 (4%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	7:12 (2%) 7:12 (4%) 7:12 (3%) 7:12 (5%) 7:12 (2%) 7:12 (3%) 7:12 (4%)	view
6	x 7	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23 zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Assembly.lean Mult.lean Mult.lean	181:186 (1%) 168:173 (1%) 177:182 (1%) 179:184 (1%) 1265:1270 (<1%) 340:345 (1%) 328:333 (1%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	4:9 (2%) 4:9 (4%) 4:9 (3%) 4:9 (5%) 4:9 (2%) 4:9 (3%) 4:9 (4%)	view
6	x 7	3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30	lean Horner.lean Lookup.lean Scatter.lean AllTiles.lean Tile.lean SumTen.lean StarFirst.lean	4:11 (7%) 4:11 (6%) 4:11 (3%) 4:11 (2%) 4:11 (3%) 4:11 (4%) 4:11 (3%)	view
6	x 7	zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg zeta23/Zeta23/LinAlg	lean Sylvester.lean Weyl.lean VonNeumann.lean PosIndex.lean RankTrace.lean HermitianPosPart.lean Inertia.lean	5:10 (2%) 5:10 (4%) 5:10 (3%) 5:10 (5%) 5:10 (2%) 5:10 (3%) 5:10 (4%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	180:185 (1%) 167:172 (1%) 176:181 (1%) 178:183 (1%) 339:344 (1%) 327:332 (1%)	view
6	x 6	zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/ThmE zeta23/Zeta23	lean FinalMult.lean Mult.lean Assembly.lean Assembly.lean Mult.lean FinalMult.lean	237:242 (1%) 201:206 (1%) 177:182 (1%) 238:243 (1%) 266:271 (1%) 300:305 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	103:108 (1%) 90:95 (1%) 99:104 (1%) 101:106 (1%) 262:267 (1%) 250:255 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	130:135 (1%) 117:122 (1%) 126:131 (1%) 128:133 (1%) 289:294 (1%) 277:282 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	132:137 (1%) 119:124 (1%) 128:133 (1%) 130:135 (1%) 291:296 (1%) 279:284 (1%)	view
6	x 6	3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30 3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/Lang/Lib 3sum-apsp/ThreeSumApsp/Lang 3sum-apsp/ThreeSumApsp/P...Sec3/Theorem21b/MinPlus	lean Tasks.lean Contracts.lean Tactics.lean Copy.lean ToMachine.lean Passes.lean	2:8 (2%) 2:8 (1%) 2:8 (4%) 2:8 (9%) 2:8 (1%) 2:8 (6%)	view
6	x 6	zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/ThmE zeta23/Zeta23	lean FinalMult.lean Mult.lean Assembly.lean Assembly.lean Mult.lean FinalMult.lean	227:232 (1%) 191:196 (1%) 167:172 (1%) 228:233 (1%) 256:261 (1%) 290:295 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	122:127 (1%) 109:114 (1%) 118:123 (1%) 120:125 (1%) 281:286 (1%) 269:274 (1%)	view
6	x 6	zeta23/Zeta23 zeta23/Zeta23/ThmE zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/ThmE zeta23/Zeta23	lean FinalMult.lean Mult.lean Assembly.lean Assembly.lean Mult.lean FinalMult.lean	241:246 (1%) 205:210 (1%) 181:186 (1%) 242:247 (1%) 270:275 (1%) 304:309 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	157:162 (1%) 144:149 (1%) 153:158 (1%) 155:160 (1%) 316:321 (1%) 304:309 (1%)	view
6	x 6	zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmDE	lean Endgame.lean Mult.lean Endgame.lean Endgame.lean Endgame.lean Mult.lean	54:59 (1%) 42:47 (1%) 218:223 (1%) 393:398 (1%) 417:422 (1%) 201:206 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	142:147 (1%) 129:134 (1%) 138:143 (1%) 140:145 (1%) 301:306 (1%) 289:294 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	79:84 (1%) 66:71 (1%) 76:81 (1%) 78:83 (1%) 238:243 (1%) 226:231 (1%)	view
6	x 6	zeta23/Zeta23 zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23/XiPrime zeta23/Zeta23	lean FinalMult.lean Assembly.lean Assembly.lean Assembly.lean Assembly.lean FinalMult.lean	247:252 (1%) 187:192 (1%) 248:253 (1%) 362:367 (1%) 398:403 (1%) 310:315 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	106:111 (1%) 93:98 (1%) 102:107 (1%) 104:109 (1%) 265:270 (1%) 253:258 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD	lean Endgame.lean Mult.lean Endgame.lean Endgame.lean Endgame.lean Mult.lean	50:55 (1%) 53:58 (1%) 213:218 (1%) 387:392 (1%) 410:415 (1%) 211:216 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD zeta23/Zeta23/ThmD	lean Endgame.lean Mult.lean Endgame.lean Endgame.lean Endgame.lean Mult.lean	48:53 (1%) 51:56 (1%) 211:216 (1%) 385:390 (1%) 408:413 (1%) 209:214 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	140:145 (1%) 127:132 (1%) 136:141 (1%) 138:143 (1%) 299:304 (1%) 287:292 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	190:195 (1%) 177:182 (1%) 186:191 (1%) 188:193 (1%) 349:354 (1%) 337:342 (1%)	view
6	x 6	zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE zeta23/Zeta23/ThmD zeta23/Zeta23/ThmDE	lean Mult.lean Mult.lean Endgame.lean Endgame.lean Mult.lean Mult.lean	178:183 (1%) 165:170 (1%) 174:179 (1%) 176:181 (1%) 337:342 (1%) 325:330 (1%)	view

About This Analysis

For duplication, we look at places in code where there are 6 or more lines of code that are exactly the same.
Before duplication is calculated, the code is cleaned to remove empty lines, comments, and frequently duplicated constructs such as imports.
You should aim at having as little as possible (<5%) of duplicated code as high-level of duplication can lead to maintenance difficulties, poor factoring, and logical contradictions.

Learn more...

To learn more about duplications and techniques for eliminating duplication, Sokrates recommends the following resources:

Avoid Repetition, MartinFlower.com (IEEE Software article)
Refactoring duplicated code, sourcemaking.com
Beck Design Rules, MartinFowler.com
DRY (Don't Repeat Yourself) Principle, Wikipedia
The Cut-and-Paste Programming Software Development Anti-Pattern, sourcemaking.com
Code Smells / Duplicated Code, Jeff Atwood, codinghorror.com:

"Duplicated code is the bane of software development. Stamp out duplication whenever possible. You should always be on the lookout for more subtle cases of near-duplication, too. Don't Repeat Yourself!"

Reducing Coupling, MartinFlower.com (IEEE Software article):

"There are several ways to describe coupling, but it boils down to this: If changing one module in a program requires changing another module, then coupling exists. ... Duplication always implies coupling, because changing one piece of duplicate code implies changing the other."