File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 187 files with 33,988 lines of code in files.
    • 0 files that are 366+ days old (0 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 0 files that are 91-180 days old (0 lines of code)
    • 0 files that are 31-90 days old (0 lines of code)
    • 187 files that are 1-30 days old (33,988 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 187 files with 33,988 lines of code in files.
    • 0 files have been last changed 366+ days ago (0 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 0 files have been last changed 31-90 days ago (0 lines of code)
    • 187 files have been last changed 1-30 days ago (33,988 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
lean, json, txt, md, gitignore, toml, yaml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 0% | 100%
yaml0% | 0% | 0% | 0% | 100%
toml0% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 0% | 100%
yaml0% | 0% | 0% | 0% | 100%
toml0% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
NavierStokes0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
ComparatorChallenges0% | 0% | 0% | 0% | 0%
Euler0% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
NavierStokes0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
ComparatorChallenges0% | 0% | 0% | 0% | 0%
Euler0% | 0% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
NominalProfile.lean
in NavierStokes
2359 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
1864 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
NaturalEntrance.lean
in NavierStokes
1287 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ReferenceBounds.lean
in NavierStokes
1161 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
1158 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
1051 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ActivationCone.lean
in NavierStokes
926 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
NaturalProfile.lean
in NavierStokes
635 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
521 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
NaturalCore.lean
in NavierStokes
455 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
427 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
404 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
376 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
350 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SeedHandbackJets.lean
in NavierStokes
344 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
322 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
LabelCounting.lean
in NavierStokes
306 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
298 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
287 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
287 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
IntegratedDissipation.lean
in NavierStokes/R3
279 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
274 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ClosedIntervalCk.lean
in NavierStokes
273 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
TorusCoverDegree.lean
in NavierStokes
267 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
265 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
259 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
258 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
255 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
252 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
250 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
249 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
240 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
232 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
NaturalExitBounds.lean
in NavierStokes
231 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
226 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
NaturalAxisRange.lean
in NavierStokes
221 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
213 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
207 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
206 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
205 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
205 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
H3DivCurlFourier.lean
in NavierStokes/R3
202 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
200 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
199 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
189 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
188 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
185 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
184 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
176 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SharpGraphBounds.lean
in NavierStokes
174 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
2 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
PaperResults.lean
in NavierStokes
4 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
20 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ParabolicDefinitions.lean
in NavierStokes/R3
23 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
TerminalEdgePaper.lean
in NavierStokes
29 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
30 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
36 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SpatialCauchySchwarz.lean
in NavierStokes/R3
38 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
38 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
41 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
42 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SpatialEnergyScaling.lean
in NavierStokes/R3
43 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
43 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
43 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
PaperLocalization.lean
in NavierStokes
44 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
45 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ComparatorTheorem.lean
in NavierStokes
46 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
AxisModelBounds.lean
in NavierStokes
49 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
50 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SharpLogWeights.lean
in NavierStokes
50 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
51 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ViscousUniqueness.lean
in NavierStokes/R3
51 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
51 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SpatialSupportScaling.lean
in NavierStokes/R3
52 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
54 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ParabolicEnergy.lean
in NavierStokes/R3
55 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
58 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
58 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
SharpEnergyBound.lean
in NavierStokes/R3
60 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
H3Definitions.lean
in NavierStokes/R3
60 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
TrueConeLoopPaper.lean
in NavierStokes
60 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
ParabolicSupport.lean
in NavierStokes/R3
62 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
LocalPaperHeat.lean
in NavierStokes
62 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
63 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
PositiveTimeForce.lean
in NavierStokes/R3
65 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
66 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
66 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
H3Blowup.lean
in NavierStokes/R3
67 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
Theorem.lean
in NavierStokes/R3
68 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
H3CompactCurve.lean
in NavierStokes/R3
68 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
68 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
CandidateBreakdown.lean
in NavierStokes/R3
69 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
69 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
PeriodicViscosity.lean
in NavierStokes
70 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
H3CompactHelpers.lean
in NavierStokes/R3
71 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
71 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
lean
DelayedExtension.lean
in NavierStokes/R3
72 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
73 - 2026-09-10 2026-09-10 1 1 balexeev@openai.com balexeev@openai.com
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
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
TransitionRamp.lean
in NavierStokes
2046 -
lean
1960 -
1917 -
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
1259 -
lean
1239 -
1233 -
lean
1230 -
lean
SignedMeanGain.lean
in NavierStokes
1222 -
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
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
TransitionRamp.lean
in NavierStokes
2046 -
lean
1960 -
1917 -
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
1259 -
lean
1239 -
1233 -
lean
1230 -
lean
SignedMeanGain.lean
in NavierStokes
1222 -