openai / lean-gym - Duplication

openai / lean-gym

Places in code with 6 or more lines that are exactly the same.

Intro

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.

Duplication Overall

10% duplication:

1,382 cleaned lines of cleaned code (without empty lines, comments, and frequently duplicated constructs such as imports)
146 duplicated lines

13 duplicates

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

Duplication per Extension

Duplication per Component (primary)

Longest Duplicates

The list of 13 longest duplicates.

See data for all 13 duplicates...

Size	#	Folders	Files	Lines	Code
23	x 2	src src	lean repl.lean repl.lean	251:273 (4%) 390:412 (4%)	view
10	x 2	src src	lean repl.lean repl.lean	475:484 (1%) 497:506 (1%)	view
9	x 2	src src	lean repl.lean repl.lean	351:359 (1%) 390:398 (1%)	view
9	x 2	src src	lean repl.lean repl.lean	251:259 (1%) 351:359 (1%)	view
8	x 2	ROOT ROOT	leanpkg.toml leanpkg_miniF2F.toml	1:9 (100%) 1:9 (100%)	view
8	x 2	src src	lean repl.lean repl.lean	251:258 (1%) 328:335 (1%)	view
8	x 2	src src	lean repl.lean repl.lean	328:335 (1%) 390:397 (1%)	view
8	x 2	src src	lean repl.lean repl.lean	328:335 (1%) 351:358 (1%)	view
7	x 2	ROOT ROOT	leanpkg.toml leanpkg_mathlib.toml	1:8 (87%) 1:8 (100%)	view
7	x 2	src src	lean repl.lean repl.lean	297:303 (1%) 436:442 (1%)	view
7	x 2	ROOT ROOT	leanpkg_mathlib.toml leanpkg_miniF2F.toml	1:8 (100%) 1:8 (87%)	view
7	x 2	src/util src/util	lean io.lean io.lean	17:23 (13%) 32:38 (13%)	view
6	x 2	src src	lean repl.lean repl.lean	279:284 (1%) 418:423 (1%)	view