openai/ten-proofs
File Size
The distribution of size of files (measured in lines of code).
File Size Overall
  • There are 16 files with 4,377 lines of code.
    • 1 very long files (2,909 lines of code)
    • 0 long files (0 lines of code)
    • 2 medium size files (473 lines of code)
    • 4 small files (585 lines of code)
    • 9 very small files (410 lines of code)
66% | 0% | 10% | 13% | 9%
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
lean67% | 0% | 11% | 13% | 7%
toml0% | 0% | 0% | 0% | 100%
yaml0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
ROOT96% | 0% | 0% | 0% | 3%
ComparatorChallenges0% | 0% | 34% | 42% | 23%
Longest Files (Top 16)
File# lines# units
2909 -
lean
H_GapCVP.lean
in ComparatorChallenges
 258 -
lean
B_SphericalCodes.lean
in ComparatorChallenges
 215 -
lean
E_ConnesRigidity.lean
in ComparatorChallenges
 183 -
lean
A_SpherePacking.lean
in ComparatorChallenges
 149 -
lean
B_BinaryCodes.lean
in ComparatorChallenges
 142 -
lean
G_QuantumParallelRepetition.lean
in ComparatorChallenges
 111 -
lean
C_PermanentFormulaLowerBound.lean
in ComparatorChallenges
 83 -
lean
J_CompactnessConjecture.lean
in ComparatorChallenges
 73 -
62 -
lean
F_EhrhartVolumeInequality.lean
in ComparatorChallenges
 55 -
lean
I_MulticolorTriangleRamsey.lean
in ComparatorChallenges
 40 -
lean
J_TwoDegenerateGraphs.lean
in ComparatorChallenges
 38 -
lean
D_NonSoficGroup.lean
in ComparatorChallenges
 28 -
21 -
lean
All.lean
in root
 10 -
Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 0)

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

File# lines# units# long lines
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...