openai/NavierStokesAndEuler
File Size
The distribution of size of files (measured in lines of code).
File Size Overall
  • There are 2,660 files with 545,965 lines of code.
    • 94 very long files (144,669 lines of code)
    • 177 long files (125,510 lines of code)
    • 293 medium size files (89,720 lines of code)
    • 731 small files (97,828 lines of code)
    • 1,365 very small files (88,238 lines of code)
26% | 22% | 16% | 17% | 16%
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
lean26% | 22% | 16% | 17% | 16%
yaml0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
NavierStokes37% | 32% | 20% | 6% | 2%
Euler0% | <1% | 6% | 45% | 48%
ComparatorChallenges0% | 0% | 60% | 39% | 0%
ROOT0% | 0% | 0% | 81% | 18%
Longest Files (Top 50)
File# lines# units
lean
CorrectionStep.lean
in NavierStokes
 8903 -
4962 -
4954 -
lean
VariableGaugeMean.lean
in NavierStokes
 2711 -
lean
 2549 -
lean
BaseResidual.lean
in NavierStokes
 2525 -
lean
 2373 -
lean
NominalProfile.lean
in NavierStokes
 2359 -
lean
TransitionRamp.lean
in NavierStokes
 2046 -
lean
 1960 -
1917 -
lean
 1864 -
lean
PulseCone.lean
in NavierStokes
 1856 -
lean
 1852 -
1816 -
lean
MeanRankUpdate.lean
in NavierStokes
 1798 -
lean
 1778 -
lean
 1761 -
lean
 1750 -
lean
 1745 -
1618 -
lean
 1603 -
lean
 1565 -
lean
AssembledSlowBase.lean
in NavierStokes
 1559 -
lean
TailCone.lean
in NavierStokes
 1558 -
lean
SlowBorelBase.lean
in NavierStokes
 1535 -
1517 -
lean
 1503 -
lean
HarmonicResidual.lean
in NavierStokes
 1436 -
lean
 1436 -
lean
ModulatedCone.lean
in NavierStokes
 1429 -
lean
 1424 -
lean
 1415 -
lean
 1397 -
lean
TerminalPressure.lean
in NavierStokes
 1386 -
lean
 1384 -
lean
PrimaryCopyBounds.lean
in NavierStokes
 1381 -
lean
 1380 -
lean
 1372 -
lean
SignedWaveUpdate.lean
in NavierStokes
 1346 -
lean
 1330 -
lean
PulseAmplitude.lean
in NavierStokes
 1326 -
1325 -
lean
 1319 -
lean
 1314 -
lean
 1298 -
lean
ShapeTransition.lean
in NavierStokes
 1290 -
lean
NaturalEntrance.lean
in NavierStokes
 1287 -
lean
 1259 -
lean
 1239 -
Large Files That Change Often (Top 20)
To change a file, an AI coding agent (or a person) has to read it: these files are read the most for the changes in the past year (lines × changes).
File# lines≈ tokens
to read		# changes
(1y)		≈ lines edited
per change		lines read per
line changed
lean
NominalProfile.lean
in NavierStokes
 2359 ~15k–50k 1 ~3 ~500
lean
 1864 ~10k–30k 1 ~3 ~500
lean
NaturalEntrance.lean
in NavierStokes
 1287 ~7k–20k 1 ~50 ~20
lean
ReferenceBounds.lean
in NavierStokes
 1161 ~7k–20k 1 ~5 ~200
lean
 1158 ~7k–20k 1 ~2 ~500
lean
 1051 ~7k–15k 1 ~2 ~500
lean
ActivationCone.lean
in NavierStokes
 926 ~5k–15k 1 ~3 ~200
lean
NaturalProfile.lean
in NavierStokes
 635 ~3k–10k 1 ~10 ~50
lean
 521 ~3k–10k 1 ~20 ~20
lean
NaturalCore.lean
in NavierStokes
 455 ~3k–7k 1 ~2 ~200
427 ~2k–7k 1 ~500 ~1
lean
 404 ~2k–7k 1 ~500 ~1
lean
 376 ~2k–7k 1 ~500 ~1
lean
 350 ~2k–5k 1 ~300 ~1
lean
SeedHandbackJets.lean
in NavierStokes
 344 ~2k–5k 1 ~300 ~1
322 ~2k–5k 1 ~300 ~1
lean
LabelCounting.lean
in NavierStokes
 306 ~2k–5k 1 ~300 ~1
lean
 298 ~2k–5k 1 ~300 ~1
lean
 287 ~2k–5k 1 ~300 ~1
lean
 287 ~2k–5k 1 ~300 ~1

Tokens are lines × 7 to 14 (analysis.fileReadsForChanges). Lines edited per change are the file's lines added and deleted divided by its commits over the whole history. Agents read about 2,000 lines at a time: when a 17,000-line file was split into modules, the tokens an agent read for the same change fell by 83% (The Economic Benefit of Refactoring, 2026).

Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 50)

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

File# lines# units# long lines
lean
 659 - 43
lean
 1565 - 39
lean
CorrectionStep.lean
in NavierStokes
 8903 - 33
4962 - 21
4954 - 21
632 - 20
672 - 18
lean
 1415 - 16
84 - 15
178 - 13
lean
 508 - 12
lean
 1137 - 11
lean
 786 - 11
215 - 11
152 - 11
lean
 570 - 10
307 - 10
535 - 9
lean
 2373 - 8
lean
 2549 - 8
152 - 8
lean
 1319 - 7
lean
 1750 - 7
lean
VariableGaugeMean.lean
in NavierStokes
 2711 - 7
105 - 7
102 - 7
79 - 7
lean
 982 - 6
lean
AssembledSlowBase.lean
in NavierStokes
 1559 - 6
lean
 856 - 6
1816 - 6
lean
 1761 - 6
128 - 6
79 - 6
77 - 6
131 - 6
1086 - 5
570 - 5
lean
 872 - 5
lean
 1113 - 5
lean
TransitionRamp.lean
in NavierStokes
 2046 - 5
lean
 1052 - 5
lean
 344 - 5
lean
 402 - 5
104 - 5
202 - 5
62 - 5
140 - 5
74 - 5
132 - 5
Correlations

File Size vs. Commits (all time): 187 points

NavierStokes.lean x: 1 commits (all time) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 commits (all time) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 commits (all time) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 commits (all time) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 commits (all time) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 commits (all time) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 commits (all time) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 commits (all time) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 commits (all time) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 commits (all time) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 commits (all time) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 commits (all time) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 commits (all time) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 commits (all time) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 commits (all time) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 commits (all time) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 commits (all time) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 commits (all time) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 commits (all time) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 commits (all time) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 commits (all time) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 commits (all time) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 commits (all time) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 commits (all time) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 commits (all time) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 commits (all time) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 commits (all time) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 commits (all time) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 commits (all time) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 commits (all time) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 commits (all time) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 commits (all time) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 commits (all time) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 commits (all time) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 commits (all time) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 commits (all time) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 commits (all time) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 commits (all time) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 commits (all time) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 commits (all time) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 commits (all time) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 commits (all time) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 commits (all time) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 commits (all time) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 commits (all time) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 commits (all time) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
commits (all time)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Contributors (all time): 187 points

NavierStokes.lean x: 1 contributors (all time) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 contributors (all time) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 contributors (all time) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 contributors (all time) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 contributors (all time) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 contributors (all time) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 contributors (all time) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 contributors (all time) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 contributors (all time) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 contributors (all time) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 contributors (all time) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 contributors (all time) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 contributors (all time) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 contributors (all time) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 contributors (all time) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 contributors (all time) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 contributors (all time) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 contributors (all time) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 contributors (all time) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 contributors (all time) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 contributors (all time) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 contributors (all time) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 contributors (all time) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 contributors (all time) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 contributors (all time) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 contributors (all time) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 contributors (all time) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 contributors (all time) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 contributors (all time) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 contributors (all time) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 contributors (all time) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 contributors (all time) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 contributors (all time) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 contributors (all time) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 contributors (all time) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 contributors (all time) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 contributors (all time) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 contributors (all time) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 contributors (all time) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 contributors (all time) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 contributors (all time) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 contributors (all time) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 contributors (all time) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 contributors (all time) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 contributors (all time) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 contributors (all time) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
contributors (all time)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Commits (30 days): 187 points

NavierStokes.lean x: 1 commits (30d) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 commits (30d) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 commits (30d) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 commits (30d) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 commits (30d) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 commits (30d) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 commits (30d) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 commits (30d) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 commits (30d) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 commits (30d) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 commits (30d) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 commits (30d) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 commits (30d) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 commits (30d) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 commits (30d) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 commits (30d) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 commits (30d) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 commits (30d) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 commits (30d) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 commits (30d) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 commits (30d) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 commits (30d) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 commits (30d) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 commits (30d) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 commits (30d) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 commits (30d) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 commits (30d) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 commits (30d) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 commits (30d) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 commits (30d) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 commits (30d) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 commits (30d) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 commits (30d) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 commits (30d) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 commits (30d) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 commits (30d) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 commits (30d) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 commits (30d) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 commits (30d) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 commits (30d) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 commits (30d) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 commits (30d) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 commits (30d) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 commits (30d) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 commits (30d) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 commits (30d) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
commits (30d)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Contributors (30 days): 187 points

NavierStokes.lean x: 1 contributors (30d) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 contributors (30d) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 contributors (30d) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 contributors (30d) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 contributors (30d) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 contributors (30d) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 contributors (30d) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 contributors (30d) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 contributors (30d) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 contributors (30d) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 contributors (30d) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 contributors (30d) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 contributors (30d) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 contributors (30d) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 contributors (30d) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 contributors (30d) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 contributors (30d) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 contributors (30d) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 contributors (30d) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 contributors (30d) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 contributors (30d) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 contributors (30d) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 contributors (30d) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 contributors (30d) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 contributors (30d) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 contributors (30d) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 contributors (30d) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 contributors (30d) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 contributors (30d) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 contributors (30d) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 contributors (30d) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 contributors (30d) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 contributors (30d) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 contributors (30d) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 contributors (30d) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 contributors (30d) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 contributors (30d) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 contributors (30d) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 contributors (30d) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 contributors (30d) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 contributors (30d) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 contributors (30d) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 contributors (30d) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 contributors (30d) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 contributors (30d) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 contributors (30d) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
contributors (30d)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Commits (90 days): 187 points

NavierStokes.lean x: 1 commits (90d) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 commits (90d) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 commits (90d) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 commits (90d) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 commits (90d) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 commits (90d) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 commits (90d) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 commits (90d) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 commits (90d) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 commits (90d) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 commits (90d) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 commits (90d) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 commits (90d) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 commits (90d) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 commits (90d) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 commits (90d) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 commits (90d) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 commits (90d) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 commits (90d) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 commits (90d) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 commits (90d) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 commits (90d) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 commits (90d) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 commits (90d) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 commits (90d) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 commits (90d) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 commits (90d) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 commits (90d) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 commits (90d) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 commits (90d) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 commits (90d) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 commits (90d) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 commits (90d) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 commits (90d) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 commits (90d) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 commits (90d) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 commits (90d) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 commits (90d) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 commits (90d) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 commits (90d) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 commits (90d) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 commits (90d) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 commits (90d) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 commits (90d) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 commits (90d) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 commits (90d) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
commits (90d)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Contributors (90 days): 187 points

NavierStokes.lean x: 1 contributors (90d) y: 2 lines of code NavierStokes/ActivationCone.lean x: 1 contributors (90d) y: 926 lines of code NavierStokes/ActivationContinuation.lean x: 1 contributors (90d) y: 1864 lines of code NavierStokes/ActiveAnnulusWeight.lean x: 1 contributors (90d) y: 1158 lines of code NavierStokes/ActualBasePressureBounds.lean x: 1 contributors (90d) y: 134 lines of code NavierStokes/AppendixHeatResults.lean x: 1 contributors (90d) y: 154 lines of code NavierStokes/AppendixJoiningResults.lean x: 1 contributors (90d) y: 91 lines of code NavierStokes/AxisAnalyticCoefficients.lean x: 1 contributors (90d) y: 67 lines of code NavierStokes/AxisInverseFactors.lean x: 1 contributors (90d) y: 232 lines of code NavierStokes/AxisJointAnalytic.lean x: 1 contributors (90d) y: 114 lines of code NavierStokes/AxisModelBounds.lean x: 1 contributors (90d) y: 49 lines of code NavierStokes/BaseAngularGrowth.lean x: 1 contributors (90d) y: 105 lines of code NavierStokes/ClosedIntervalCk.lean x: 1 contributors (90d) y: 273 lines of code NavierStokes/ClosedIntervalCkOperators.lean x: 1 contributors (90d) y: 250 lines of code NavierStokes/ClosedIntervalMomentRepair.lean x: 1 contributors (90d) y: 205 lines of code NavierStokes/ComparatorR3Theorem.lean x: 1 contributors (90d) y: 38 lines of code NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 contributors (90d) y: 83 lines of code NavierStokes/GenericAngularRecovery.lean x: 1 contributors (90d) y: 146 lines of code NavierStokes/GenericDifferentialPolynomial.lean x: 1 contributors (90d) y: 258 lines of code NavierStokes/GenericFactorSupport.lean x: 1 contributors (90d) y: 122 lines of code NavierStokes/GenericRealization.lean x: 1 contributors (90d) y: 184 lines of code NavierStokes/GenericRealizationBounds.lean x: 1 contributors (90d) y: 265 lines of code NavierStokes/GenericTupleRealization.lean x: 1 contributors (90d) y: 200 lines of code NavierStokes/GenericTupleSupport.lean x: 1 contributors (90d) y: 176 lines of code NavierStokes/LabelCounting.lean x: 1 contributors (90d) y: 306 lines of code NavierStokes/LeadingStressWeights.lean x: 1 contributors (90d) y: 1051 lines of code NavierStokes/LocalHeatPressure.lean x: 1 contributors (90d) y: 94 lines of code NavierStokes/LocalPaperHeat.lean x: 1 contributors (90d) y: 62 lines of code NavierStokes/LocalPotentialRebundle.lean x: 1 contributors (90d) y: 240 lines of code NavierStokes/ModulatedProfileJetRates.lean x: 1 contributors (90d) y: 427 lines of code NavierStokes/NaturalAxisCoefficients.lean x: 1 contributors (90d) y: 521 lines of code NavierStokes/NaturalAxisRange.lean x: 1 contributors (90d) y: 221 lines of code NavierStokes/NaturalCore.lean x: 1 contributors (90d) y: 455 lines of code NavierStokes/NaturalEntrance.lean x: 1 contributors (90d) y: 1287 lines of code NavierStokes/NaturalProfile.lean x: 1 contributors (90d) y: 635 lines of code NavierStokes/NominalProfile.lean x: 1 contributors (90d) y: 2359 lines of code NavierStokes/PaperAdditionalResults.lean x: 1 contributors (90d) y: 30 lines of code NavierStokes/PeriodizeLatticeCover.lean x: 1 contributors (90d) y: 20 lines of code NavierStokes/R3/IntegratedDissipation.lean x: 1 contributors (90d) y: 279 lines of code NavierStokes/ReferenceBounds.lean x: 1 contributors (90d) y: 1161 lines of code NavierStokes/ReferenceUniformJets.lean x: 1 contributors (90d) y: 376 lines of code NavierStokes/ReferenceUniformStocks.lean x: 1 contributors (90d) y: 404 lines of code NavierStokes/SeedHandbackJets.lean x: 1 contributors (90d) y: 344 lines of code NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 contributors (90d) y: 322 lines of code NavierStokes/SharpGluedStageBounds.lean x: 1 contributors (90d) y: 161 lines of code NavierStokes/SharpPhysicalCopyBounds.lean x: 1 contributors (90d) y: 188 lines of code
2359.0
lines of code
  min: 2.0
  average: 181.75
  25th percentile: 71.0
  median: 106.0
  75th percentile: 185.0
  max: 2359.0
0 1.0
contributors (90d)
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0
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...