deepseek-ai/DeepSeek-Prover-V1.5
File Size
The distribution of size of files (measured in lines of code).
File Size Overall
  • There are 18 files with 2,082 lines of code.
    • 0 very long files (0 lines of code)
    • 1 long files (921 lines of code)
    • 1 medium size files (263 lines of code)
    • 2 small files (280 lines of code)
    • 14 very small files (618 lines of code)
0% | 44% | 12% | 13% | 29%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: grouped by folders | grouped by size | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
py0% | 44% | 12% | 13% | 29%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
prover0% | 45% | 13% | 13% | 27%
configs0% | 0% | 0% | 0% | 100%
Longest Files (Top 18)
File# lines# units
ast_parser.py
in prover/lean
 921 21
rmax_tree_search.py
in prover/algorithms
 263 22
proof.py
in prover/lean
 142 10
verifier.py
in prover/lean
 138 6
scheduler.py
in prover/workers
 100 15
utils.py
in prover
 85 13
search.py
in prover/workers
 85 4
launch.py
in prover
 75 -
generator.py
in prover/workers
 47 2
summarize.py
in prover
 46 3
base.py
in prover/algorithms
 44 6
data_loader.py
in prover/workers
 40 3
RMaxTS.py
in configs
 26 -
24 -
sampling.py
in configs
 22 -
sampling.py
in prover/algorithms
 18 2
__init__.py
in prover/workers
 4 -
__init__.py
in prover/algorithms
 2 -
Files With Most Units (Top 12)
File# lines# units
rmax_tree_search.py
in prover/algorithms
 263 22
ast_parser.py
in prover/lean
 921 21
scheduler.py
in prover/workers
 100 15
utils.py
in prover
 85 13
proof.py
in prover/lean
 142 10
verifier.py
in prover/lean
 138 6
base.py
in prover/algorithms
 44 6
search.py
in prover/workers
 85 4
summarize.py
in prover
 46 3
data_loader.py
in prover/workers
 40 3
sampling.py
in prover/algorithms
 18 2
generator.py
in prover/workers
 47 2
Files With Long Lines (Top 8)

There are 8 files with lines longer than 120 characters. In total, there are 79 long lines.

File# lines# units# long lines
ast_parser.py
in prover/lean
 921 21 66
utils.py
in prover
 85 13 4
verifier.py
in prover/lean
 138 6 3
rmax_tree_search.py
in prover/algorithms
 263 22 2
proof.py
in prover/lean
 142 10 1
summarize.py
in prover
 46 3 1
data_loader.py
in prover/workers
 40 3 1
scheduler.py
in prover/workers
 100 15 1
About This Analysis
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...