openai/NavierStokesAndEuler
File Churn
File change frequency (churn) shows the distribution of file updates (days with at least one commit).
Overview
File Change Frequency Overall
  • There are 187 files with 33,988 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 0 files changed 21-50 times (0 lines of code)
    • 0 files changed 6-20 times (0 lines of code)
    • 187 files changed 1-5 times (33,988 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 187 files with 33,988 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 0 files changed by 6-10 contributors (0 lines of code)
    • 0 files changed by 2-5 contributors (0 lines of code)
    • 187 files changed by 1 contributor (33,988 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
lean, json, txt, md, gitignore, toml, yaml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
lean0% | 0% | 0% | 0% | 100%
yaml0% | 0% | 0% | 0% | 100%
toml0% | 0% | 0% | 0% | 0%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
NavierStokes0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
ComparatorChallenges0% | 0% | 0% | 0% | 0%
Euler0% | 0% | 0% | 0% | 0%
Most Frequently Changed Files (Top 50)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
2 - 2026-09-10 2026-09-10 1 1 +1 / -0 balexeev@openai.com balexeev@openai.com
lean
PaperResults.lean
in NavierStokes
 4 - 2026-09-10 2026-09-10 1 1 +4 / -0 balexeev@openai.com balexeev@openai.com
lean
 20 - 2026-09-10 2026-09-10 1 1 +27 / -0 balexeev@openai.com balexeev@openai.com
lean
ParabolicDefinitions.lean
in NavierStokes/R3
 23 - 2026-09-10 2026-09-10 1 1 +34 / -0 balexeev@openai.com balexeev@openai.com
lean
TerminalEdgePaper.lean
in NavierStokes
 29 - 2026-09-10 2026-09-10 1 1 +36 / -0 balexeev@openai.com balexeev@openai.com
lean
 30 - 2026-09-10 2026-09-10 1 1 +30 / -0 balexeev@openai.com balexeev@openai.com
36 - 2026-09-10 2026-09-10 1 1 +43 / -0 balexeev@openai.com balexeev@openai.com
lean
SpatialCauchySchwarz.lean
in NavierStokes/R3
 38 - 2026-09-10 2026-09-10 1 1 +46 / -0 balexeev@openai.com balexeev@openai.com
lean
 38 - 2026-09-10 2026-09-10 1 1 +8 / -6 balexeev@openai.com balexeev@openai.com
lean
 41 - 2026-09-10 2026-09-10 1 1 +46 / -0 balexeev@openai.com balexeev@openai.com
lean
 42 - 2026-09-10 2026-09-10 1 1 +49 / -0 balexeev@openai.com balexeev@openai.com
lean
SpatialEnergyScaling.lean
in NavierStokes/R3
 43 - 2026-09-10 2026-09-10 1 1 +52 / -0 balexeev@openai.com balexeev@openai.com
43 - 2026-09-10 2026-09-10 1 1 +54 / -0 balexeev@openai.com balexeev@openai.com
43 - 2026-09-10 2026-09-10 1 1 +47 / -0 balexeev@openai.com balexeev@openai.com
lean
PaperLocalization.lean
in NavierStokes
 44 - 2026-09-10 2026-09-10 1 1 +52 / -0 balexeev@openai.com balexeev@openai.com
lean
 45 - 2026-09-10 2026-09-10 1 1 +54 / -0 balexeev@openai.com balexeev@openai.com
lean
ComparatorTheorem.lean
in NavierStokes
 46 - 2026-09-10 2026-09-10 1 1 +7 / -8 balexeev@openai.com balexeev@openai.com
lean
AxisModelBounds.lean
in NavierStokes
 49 - 2026-09-10 2026-09-10 1 1 +60 / -0 balexeev@openai.com balexeev@openai.com
lean
 50 - 2026-09-10 2026-09-10 1 1 +60 / -0 balexeev@openai.com balexeev@openai.com
lean
SharpLogWeights.lean
in NavierStokes
 50 - 2026-09-10 2026-09-10 1 1 +54 / -0 balexeev@openai.com balexeev@openai.com
lean
 51 - 2026-09-10 2026-09-10 1 1 +62 / -0 balexeev@openai.com balexeev@openai.com
lean
ViscousUniqueness.lean
in NavierStokes/R3
 51 - 2026-09-10 2026-09-10 1 1 +59 / -0 balexeev@openai.com balexeev@openai.com
lean
 51 - 2026-09-10 2026-09-10 1 1 +62 / -0 balexeev@openai.com balexeev@openai.com
lean
SpatialSupportScaling.lean
in NavierStokes/R3
 52 - 2026-09-10 2026-09-10 1 1 +62 / -0 balexeev@openai.com balexeev@openai.com
54 - 2026-09-10 2026-09-10 1 1 +61 / -0 balexeev@openai.com balexeev@openai.com
lean
ParabolicEnergy.lean
in NavierStokes/R3
 55 - 2026-09-10 2026-09-10 1 1 +63 / -0 balexeev@openai.com balexeev@openai.com
lean
 58 - 2026-09-10 2026-09-10 1 1 +61 / -0 balexeev@openai.com balexeev@openai.com
lean
 58 - 2026-09-10 2026-09-10 1 1 +72 / -0 balexeev@openai.com balexeev@openai.com
lean
SharpEnergyBound.lean
in NavierStokes/R3
 60 - 2026-09-10 2026-09-10 1 1 +68 / -0 balexeev@openai.com balexeev@openai.com
lean
H3Definitions.lean
in NavierStokes/R3
 60 - 2026-09-10 2026-09-10 1 1 +77 / -0 balexeev@openai.com balexeev@openai.com
lean
TrueConeLoopPaper.lean
in NavierStokes
 60 - 2026-09-10 2026-09-10 1 1 +69 / -0 balexeev@openai.com balexeev@openai.com
lean
ParabolicSupport.lean
in NavierStokes/R3
 62 - 2026-09-10 2026-09-10 1 1 +71 / -0 balexeev@openai.com balexeev@openai.com
lean
LocalPaperHeat.lean
in NavierStokes
 62 - 2026-09-10 2026-09-10 1 1 +74 / -0 balexeev@openai.com balexeev@openai.com
lean
 63 - 2026-09-10 2026-09-10 1 1 +76 / -0 balexeev@openai.com balexeev@openai.com
lean
PositiveTimeForce.lean
in NavierStokes/R3
 65 - 2026-09-10 2026-09-10 1 1 +82 / -0 balexeev@openai.com balexeev@openai.com
lean
 66 - 2026-09-10 2026-09-10 1 1 +73 / -0 balexeev@openai.com balexeev@openai.com
lean
 66 - 2026-09-10 2026-09-10 1 1 +77 / -0 balexeev@openai.com balexeev@openai.com
lean
H3Blowup.lean
in NavierStokes/R3
 67 - 2026-09-10 2026-09-10 1 1 +78 / -0 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 +75 / -0 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 +79 / -0 balexeev@openai.com balexeev@openai.com
lean
Theorem.lean
in NavierStokes/R3
 68 - 2026-09-10 2026-09-10 1 1 +81 / -0 balexeev@openai.com balexeev@openai.com
lean
H3CompactCurve.lean
in NavierStokes/R3
 68 - 2026-09-10 2026-09-10 1 1 +76 / -0 balexeev@openai.com balexeev@openai.com
lean
 68 - 2026-09-10 2026-09-10 1 1 +75 / -0 balexeev@openai.com balexeev@openai.com
lean
CandidateBreakdown.lean
in NavierStokes/R3
 69 - 2026-09-10 2026-09-10 1 1 +79 / -0 balexeev@openai.com balexeev@openai.com
lean
 69 - 2026-09-10 2026-09-10 1 1 +78 / -0 balexeev@openai.com balexeev@openai.com
lean
PeriodicViscosity.lean
in NavierStokes
 70 - 2026-09-10 2026-09-10 1 1 +78 / -0 balexeev@openai.com balexeev@openai.com
lean
H3CompactHelpers.lean
in NavierStokes/R3
 71 - 2026-09-10 2026-09-10 1 1 +85 / -0 balexeev@openai.com balexeev@openai.com
lean
 71 - 2026-09-10 2026-09-10 1 1 +83 / -0 balexeev@openai.com balexeev@openai.com
lean
DelayedExtension.lean
in NavierStokes/R3
 72 - 2026-09-10 2026-09-10 1 1 +89 / -0 balexeev@openai.com balexeev@openai.com
73 - 2026-09-10 2026-09-10 1 1 +87 / -0 balexeev@openai.com balexeev@openai.com
Files With Most Churn (Top 50)
Based on the number of lines added and deleted across all commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
 404 - 2026-09-10 2026-09-10 1 1 +461 / -0 balexeev@openai.com balexeev@openai.com
427 - 2026-09-10 2026-09-10 1 1 +443 / -0 balexeev@openai.com balexeev@openai.com
lean
 376 - 2026-09-10 2026-09-10 1 1 +410 / -0 balexeev@openai.com balexeev@openai.com
lean
SeedHandbackJets.lean
in NavierStokes
 344 - 2026-09-10 2026-09-10 1 1 +392 / -0 balexeev@openai.com balexeev@openai.com
lean
 350 - 2026-09-10 2026-09-10 1 1 +376 / -0 balexeev@openai.com balexeev@openai.com
322 - 2026-09-10 2026-09-10 1 1 +346 / -0 balexeev@openai.com balexeev@openai.com
lean
ClosedIntervalCk.lean
in NavierStokes
 273 - 2026-09-10 2026-09-10 1 1 +337 / -0 balexeev@openai.com balexeev@openai.com
lean
LabelCounting.lean
in NavierStokes
 306 - 2026-09-10 2026-09-10 1 1 +334 / -0 balexeev@openai.com balexeev@openai.com
lean
 298 - 2026-09-10 2026-09-10 1 1 +333 / -0 balexeev@openai.com balexeev@openai.com
lean
 287 - 2026-09-10 2026-09-10 1 1 +310 / -0 balexeev@openai.com balexeev@openai.com
lean
TorusCoverDegree.lean
in NavierStokes
 267 - 2026-09-10 2026-09-10 1 1 +309 / -0 balexeev@openai.com balexeev@openai.com
lean
 287 - 2026-09-10 2026-09-10 1 1 +300 / -0 balexeev@openai.com balexeev@openai.com
lean
IntegratedDissipation.lean
in NavierStokes/R3
 279 - 2026-09-10 2026-09-10 1 1 +294 / -0 balexeev@openai.com balexeev@openai.com
249 - 2026-09-10 2026-09-10 1 1 +293 / -0 balexeev@openai.com balexeev@openai.com
274 - 2026-09-10 2026-09-10 1 1 +293 / -0 balexeev@openai.com balexeev@openai.com
265 - 2026-09-10 2026-09-10 1 1 +288 / -0 balexeev@openai.com balexeev@openai.com
255 - 2026-09-10 2026-09-10 1 1 +286 / -0 balexeev@openai.com balexeev@openai.com
259 - 2026-09-10 2026-09-10 1 1 +285 / -0 balexeev@openai.com balexeev@openai.com
258 - 2026-09-10 2026-09-10 1 1 +283 / -0 balexeev@openai.com balexeev@openai.com
250 - 2026-09-10 2026-09-10 1 1 +282 / -0 balexeev@openai.com balexeev@openai.com
lean
 240 - 2026-09-10 2026-09-10 1 1 +271 / -0 balexeev@openai.com balexeev@openai.com
lean
 232 - 2026-09-10 2026-09-10 1 1 +264 / -0 balexeev@openai.com balexeev@openai.com
252 - 2026-09-10 2026-09-10 1 1 +262 / -0 balexeev@openai.com balexeev@openai.com
lean
NaturalAxisRange.lean
in NavierStokes
 221 - 2026-09-10 2026-09-10 1 1 +252 / -0 balexeev@openai.com balexeev@openai.com
lean
 226 - 2026-09-10 2026-09-10 1 1 +251 / -0 balexeev@openai.com balexeev@openai.com
lean
NaturalExitBounds.lean
in NavierStokes
 231 - 2026-09-10 2026-09-10 1 1 +244 / -0 balexeev@openai.com balexeev@openai.com
205 - 2026-09-10 2026-09-10 1 1 +236 / -0 balexeev@openai.com balexeev@openai.com
206 - 2026-09-10 2026-09-10 1 1 +230 / -0 balexeev@openai.com balexeev@openai.com
213 - 2026-09-10 2026-09-10 1 1 +229 / -0 balexeev@openai.com balexeev@openai.com
lean
H3DivCurlFourier.lean
in NavierStokes/R3
 202 - 2026-09-10 2026-09-10 1 1 +228 / -0 balexeev@openai.com balexeev@openai.com
207 - 2026-09-10 2026-09-10 1 1 +227 / -0 balexeev@openai.com balexeev@openai.com
lean
 199 - 2026-09-10 2026-09-10 1 1 +225 / -0 balexeev@openai.com balexeev@openai.com
lean
 205 - 2026-09-10 2026-09-10 1 1 +218 / -0 balexeev@openai.com balexeev@openai.com
lean
 200 - 2026-09-10 2026-09-10 1 1 +214 / -0 balexeev@openai.com balexeev@openai.com
lean
 189 - 2026-09-10 2026-09-10 1 1 +210 / -0 balexeev@openai.com balexeev@openai.com
lean
 184 - 2026-09-10 2026-09-10 1 1 +200 / -0 balexeev@openai.com balexeev@openai.com
lean
ViscosityScaling.lean
in NavierStokes/R3
 174 - 2026-09-10 2026-09-10 1 1 +197 / -0 balexeev@openai.com balexeev@openai.com
lean
 188 - 2026-09-10 2026-09-10 1 1 +197 / -0 balexeev@openai.com balexeev@openai.com
lean
 185 - 2026-09-10 2026-09-10 1 1 +196 / -0 balexeev@openai.com balexeev@openai.com
lean
 170 - 2026-09-10 2026-09-10 1 1 +190 / -0 balexeev@openai.com balexeev@openai.com
lean
 176 - 2026-09-10 2026-09-10 1 1 +190 / -0 balexeev@openai.com balexeev@openai.com
lean
LocalPaperTheorem.lean
in NavierStokes
 171 - 2026-09-10 2026-09-10 1 1 +186 / -0 balexeev@openai.com balexeev@openai.com
lean
SharpGraphBounds.lean
in NavierStokes
 174 - 2026-09-10 2026-09-10 1 1 +186 / -0 balexeev@openai.com balexeev@openai.com
lean
 161 - 2026-09-10 2026-09-10 1 1 +181 / -0 balexeev@openai.com balexeev@openai.com
lean
 161 - 2026-09-10 2026-09-10 1 1 +178 / -0 balexeev@openai.com balexeev@openai.com
lean
 154 - 2026-09-10 2026-09-10 1 1 +177 / -0 balexeev@openai.com balexeev@openai.com
lean
 160 - 2026-09-10 2026-09-10 1 1 +174 / -0 balexeev@openai.com balexeev@openai.com
lean
 163 - 2026-09-10 2026-09-10 1 1 +172 / -0 balexeev@openai.com balexeev@openai.com
lean
 150 - 2026-09-10 2026-09-10 1 1 +165 / -0 balexeev@openai.com balexeev@openai.com
152 - 2026-09-10 2026-09-10 1 1 +165 / -0 balexeev@openai.com balexeev@openai.com
Files With Most Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
contributor		latest
contributor
lean
SeedConePaper.lean
in NavierStokes
 77 - 2026-09-10 2026-09-10 1 1 +91 / -0 balexeev@openai.com balexeev@openai.com
43 - 2026-09-10 2026-09-10 1 1 +47 / -0 balexeev@openai.com balexeev@openai.com
lean
PaperResults.lean
in NavierStokes
 4 - 2026-09-10 2026-09-10 1 1 +4 / -0 balexeev@openai.com balexeev@openai.com
lean
 232 - 2026-09-10 2026-09-10 1 1 +264 / -0 balexeev@openai.com balexeev@openai.com
lean
 150 - 2026-09-10 2026-09-10 1 1 +165 / -0 balexeev@openai.com balexeev@openai.com
83 - 2026-09-10 2026-09-10 1 1 +98 / -0 balexeev@openai.com balexeev@openai.com
54 - 2026-09-10 2026-09-10 1 1 +61 / -0 balexeev@openai.com balexeev@openai.com
147 - 2026-09-10 2026-09-10 1 1 +163 / -0 balexeev@openai.com balexeev@openai.com
250 - 2026-09-10 2026-09-10 1 1 +282 / -0 balexeev@openai.com balexeev@openai.com
lean
 91 - 2026-09-10 2026-09-10 1 1 +101 / -0 balexeev@openai.com balexeev@openai.com
206 - 2026-09-10 2026-09-10 1 1 +230 / -0 balexeev@openai.com balexeev@openai.com
100 - 2026-09-10 2026-09-10 1 1 +113 / -0 balexeev@openai.com balexeev@openai.com
lean
 188 - 2026-09-10 2026-09-10 1 1 +197 / -0 balexeev@openai.com balexeev@openai.com
lean
 287 - 2026-09-10 2026-09-10 1 1 +310 / -0 balexeev@openai.com balexeev@openai.com
137 - 2026-09-10 2026-09-10 1 1 +156 / -0 balexeev@openai.com balexeev@openai.com
lean
 51 - 2026-09-10 2026-09-10 1 1 +62 / -0 balexeev@openai.com balexeev@openai.com
95 - 2026-09-10 2026-09-10 1 1 +111 / -0 balexeev@openai.com balexeev@openai.com
lean
 205 - 2026-09-10 2026-09-10 1 1 +218 / -0 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 +79 / -0 balexeev@openai.com balexeev@openai.com
lean
 105 - 2026-09-10 2026-09-10 1 1 +113 / -0 balexeev@openai.com balexeev@openai.com
lean
 93 - 2026-09-10 2026-09-10 1 1 +105 / -0 balexeev@openai.com balexeev@openai.com
lean
PeriodizePDE.lean
in NavierStokes
 131 - 2026-09-10 2026-09-10 1 1 +153 / -0 balexeev@openai.com balexeev@openai.com
lean
 189 - 2026-09-10 2026-09-10 1 1 +210 / -0 balexeev@openai.com balexeev@openai.com
lean
 98 - 2026-09-10 2026-09-10 1 1 +112 / -0 balexeev@openai.com balexeev@openai.com
lean
ClosedIntervalCk.lean
in NavierStokes
 273 - 2026-09-10 2026-09-10 1 1 +337 / -0 balexeev@openai.com balexeev@openai.com
lean
 200 - 2026-09-10 2026-09-10 1 1 +214 / -0 balexeev@openai.com balexeev@openai.com
lean
 137 - 2026-09-10 2026-09-10 1 1 +157 / -0 balexeev@openai.com balexeev@openai.com
259 - 2026-09-10 2026-09-10 1 1 +285 / -0 balexeev@openai.com balexeev@openai.com
lean
 66 - 2026-09-10 2026-09-10 1 1 +77 / -0 balexeev@openai.com balexeev@openai.com
lean
WithinJointODE.lean
in NavierStokes
 89 - 2026-09-10 2026-09-10 1 1 +105 / -0 balexeev@openai.com balexeev@openai.com
207 - 2026-09-10 2026-09-10 1 1 +227 / -0 balexeev@openai.com balexeev@openai.com
lean
 90 - 2026-09-10 2026-09-10 1 1 +102 / -0 balexeev@openai.com balexeev@openai.com
lean
 298 - 2026-09-10 2026-09-10 1 1 +333 / -0 balexeev@openai.com balexeev@openai.com
126 - 2026-09-10 2026-09-10 1 1 +133 / -0 balexeev@openai.com balexeev@openai.com
lean
TerminalEdgePaper.lean
in NavierStokes
 29 - 2026-09-10 2026-09-10 1 1 +36 / -0 balexeev@openai.com balexeev@openai.com
lean
LocalHeatPressure.lean
in NavierStokes
 94 - 2026-09-10 2026-09-10 1 1 +107 / -0 balexeev@openai.com balexeev@openai.com
lean
 122 - 2026-09-10 2026-09-10 1 1 +139 / -0 balexeev@openai.com balexeev@openai.com
lean
LocalPaperTheorem.lean
in NavierStokes
 171 - 2026-09-10 2026-09-10 1 1 +186 / -0 balexeev@openai.com balexeev@openai.com
lean
NaturalExitBounds.lean
in NavierStokes
 231 - 2026-09-10 2026-09-10 1 1 +244 / -0 balexeev@openai.com balexeev@openai.com
67 - 2026-09-10 2026-09-10 1 1 +75 / -0 balexeev@openai.com balexeev@openai.com
lean
 1864 - 2026-09-10 2026-09-10 1 1 +2 / -2 balexeev@openai.com balexeev@openai.com
lean
 154 - 2026-09-10 2026-09-10 1 1 +177 / -0 balexeev@openai.com balexeev@openai.com
lean
CommonCoverWithin.lean
in NavierStokes
 110 - 2026-09-10 2026-09-10 1 1 +127 / -0 balexeev@openai.com balexeev@openai.com
lean
NaturalEntrance.lean
in NavierStokes
 1287 - 2026-09-10 2026-09-10 1 1 +20 / -35 balexeev@openai.com balexeev@openai.com
lean
 20 - 2026-09-10 2026-09-10 1 1 +27 / -0 balexeev@openai.com balexeev@openai.com
249 - 2026-09-10 2026-09-10 1 1 +293 / -0 balexeev@openai.com balexeev@openai.com
lean
 1051 - 2026-09-10 2026-09-10 1 1 +1 / -1 balexeev@openai.com balexeev@openai.com
lean
 199 - 2026-09-10 2026-09-10 1 1 +225 / -0 balexeev@openai.com balexeev@openai.com
lean
LocalHeatFormula.lean
in NavierStokes
 119 - 2026-09-10 2026-09-10 1 1 +140 / -0 balexeev@openai.com balexeev@openai.com
87 - 2026-09-10 2026-09-10 1 1 +95 / -0 balexeev@openai.com balexeev@openai.com
Files With Least Contributors (Top 50)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsline
churn		first
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 -
Correlations

File Size vs. Number of Changes: 187 points

NavierStokes.lean x: 2 lines of code y: 1 # changes NavierStokes/ActivationCone.lean x: 926 lines of code y: 1 # changes NavierStokes/ActivationContinuation.lean x: 1864 lines of code y: 1 # changes NavierStokes/ActiveAnnulusWeight.lean x: 1158 lines of code y: 1 # changes NavierStokes/ActualBasePressureBounds.lean x: 134 lines of code y: 1 # changes NavierStokes/AppendixHeatResults.lean x: 154 lines of code y: 1 # changes NavierStokes/AppendixJoiningResults.lean x: 91 lines of code y: 1 # changes NavierStokes/AxisAnalyticCoefficients.lean x: 67 lines of code y: 1 # changes NavierStokes/AxisAnalyticRadialSeries.lean x: 73 lines of code y: 1 # changes NavierStokes/AxisInverseFactors.lean x: 232 lines of code y: 1 # changes NavierStokes/AxisJointAnalytic.lean x: 114 lines of code y: 1 # changes NavierStokes/AxisModelBounds.lean x: 49 lines of code y: 1 # changes NavierStokes/BaseAngularGrowth.lean x: 105 lines of code y: 1 # changes NavierStokes/ClosedIntervalCk.lean x: 273 lines of code y: 1 # changes NavierStokes/ClosedIntervalCkOperators.lean x: 250 lines of code y: 1 # changes NavierStokes/ClosedIntervalMomentRepair.lean x: 205 lines of code y: 1 # changes NavierStokes/CommonCoverWithin.lean x: 110 lines of code y: 1 # changes NavierStokes/CompactHolomorphicFamily.lean x: 54 lines of code y: 1 # changes NavierStokes/ComparatorR3Theorem.lean x: 38 lines of code y: 1 # changes NavierStokes/ComparatorTheorem.lean x: 46 lines of code y: 1 # changes NavierStokes/CurrentPhysicalRadialClosure.lean x: 83 lines of code y: 1 # changes NavierStokes/GenericAngularRecovery.lean x: 146 lines of code y: 1 # changes NavierStokes/GenericDiagonalSchedule.lean x: 139 lines of code y: 1 # changes NavierStokes/GenericDifferentialPolynomial.lean x: 258 lines of code y: 1 # changes NavierStokes/GenericFactorSupport.lean x: 122 lines of code y: 1 # changes NavierStokes/GenericRealization.lean x: 184 lines of code y: 1 # changes NavierStokes/GenericRealizationBounds.lean x: 265 lines of code y: 1 # changes NavierStokes/GenericSolenoidalRealization.lean x: 213 lines of code y: 1 # changes NavierStokes/GenericSummationRealization.lean x: 126 lines of code y: 1 # changes NavierStokes/GenericSupportLocalSummation.lean x: 152 lines of code y: 1 # changes NavierStokes/GenericTupleRealization.lean x: 200 lines of code y: 1 # changes NavierStokes/GenericTupleSupport.lean x: 176 lines of code y: 1 # changes NavierStokes/LabelCounting.lean x: 306 lines of code y: 1 # changes NavierStokes/LabelCountingFinite.lean x: 129 lines of code y: 1 # changes NavierStokes/LeadingStressWeights.lean x: 1051 lines of code y: 1 # changes NavierStokes/LocalAngularGrowth.lean x: 226 lines of code y: 1 # changes NavierStokes/LocalHeatFormula.lean x: 119 lines of code y: 1 # changes NavierStokes/LocalHeatPressure.lean x: 94 lines of code y: 1 # changes NavierStokes/LocalJetBounds.lean x: 101 lines of code y: 1 # changes NavierStokes/LocalPaperDomain.lean x: 80 lines of code y: 1 # changes NavierStokes/LocalPaperHeat.lean x: 62 lines of code y: 1 # changes NavierStokes/LocalPaperTheorem.lean x: 171 lines of code y: 1 # changes NavierStokes/LocalPotentialRebundle.lean x: 240 lines of code y: 1 # changes NavierStokes/MeanLocalDefectBounds.lean x: 298 lines of code y: 1 # changes NavierStokes/ModulatedProfileJetRates.lean x: 427 lines of code y: 1 # changes NavierStokes/NaturalAxisCoefficients.lean x: 521 lines of code y: 1 # changes NavierStokes/NaturalAxisRange.lean x: 221 lines of code y: 1 # changes NavierStokes/NaturalCore.lean x: 455 lines of code y: 1 # changes NavierStokes/NaturalEntrance.lean x: 1287 lines of code y: 1 # changes NavierStokes/NaturalProfile.lean x: 635 lines of code y: 1 # changes NavierStokes/NominalProfile.lean x: 2359 lines of code y: 1 # changes NavierStokes/PaperAdditionalResults.lean x: 30 lines of code y: 1 # changes NavierStokes/ParameterizedMomentRepair.lean x: 87 lines of code y: 1 # changes NavierStokes/PeriodicViscosity.lean x: 70 lines of code y: 1 # changes NavierStokes/PeriodizeLatticeCover.lean x: 20 lines of code y: 1 # changes NavierStokes/PositiveAxisDifferential.lean x: 255 lines of code y: 1 # changes NavierStokes/QuadraticLinearization.lean x: 41 lines of code y: 1 # changes NavierStokes/R3/H3DivCurlFourier.lean x: 202 lines of code y: 1 # changes NavierStokes/R3/IntegratedDissipation.lean x: 279 lines of code y: 1 # changes NavierStokes/R3/ParabolicDefinitions.lean x: 23 lines of code y: 1 # changes NavierStokes/ReferenceBounds.lean x: 1161 lines of code y: 1 # changes NavierStokes/ReferenceEndpointRate.lean x: 287 lines of code y: 1 # changes NavierStokes/ReferenceUniformJets.lean x: 376 lines of code y: 1 # changes NavierStokes/ReferenceUniformStocks.lean x: 404 lines of code y: 1 # changes NavierStokes/SeedHandbackJets.lean x: 344 lines of code y: 1 # changes NavierStokes/SharpCommonGraphJets.lean x: 58 lines of code y: 1 # changes NavierStokes/SharpCurrentPhysicalPhase.lean x: 322 lines of code y: 1 # changes NavierStokes/SharpGluedStageBounds.lean x: 161 lines of code y: 1 # changes NavierStokes/SharpPhysicalCarrier.lean x: 163 lines of code y: 1 # changes NavierStokes/SharpPhysicalCopyBounds.lean x: 188 lines of code y: 1 # changes NavierStokes/SharpPhysicalPhase.lean x: 350 lines of code y: 1 # changes NavierStokes/TerminalEdgePaper.lean x: 29 lines of code y: 1 # changes NavierStokes/WholeDomainBaseBounds.lean x: 170 lines of code y: 1 # changes
1.0
# changes
  min: 1.0
  average: 1.0
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 1.0
0 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

Number of Contributors vs. Number of Changes: 187 points

NavierStokes.lean x: 1 # contributors y: 1 # changes
1.0
# changes
  min: 1.0
  average: 1.0
  25th percentile: 1.0
  median: 1.0
  75th percentile: 1.0
  max: 1.0
0 1.0
# contributors
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

Number of Contributors vs. File Size: 187 points

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

Number of Changes vs. Line Churn: 188 points

NavierStokes.lean x: 1 # changes y: 1 line churn NavierStokes/ActivationCone.lean x: 1 # changes y: 4 line churn NavierStokes/ActiveAnnulusWeight.lean x: 1 # changes y: 2 line churn NavierStokes/ActualBasePressureBounds.lean x: 1 # changes y: 151 line churn NavierStokes/AppendixHeatResults.lean x: 1 # changes y: 177 line churn NavierStokes/AppendixJoiningResults.lean x: 1 # changes y: 101 line churn NavierStokes/AxisAnalyticCoefficients.lean x: 1 # changes y: 79 line churn NavierStokes/AxisAnalyticRadialSeries.lean x: 1 # changes y: 87 line churn NavierStokes/AxisInverseFactors.lean x: 1 # changes y: 264 line churn NavierStokes/AxisJointAnalytic.lean x: 1 # changes y: 125 line churn NavierStokes/AxisModelBounds.lean x: 1 # changes y: 60 line churn NavierStokes/AxisRootPressureBounds.lean x: 1 # changes y: 75 line churn NavierStokes/BaseAngularGrowth.lean x: 1 # changes y: 127 line churn NavierStokes/ClosedIntervalCk.lean x: 1 # changes y: 337 line churn NavierStokes/ClosedIntervalCkOperators.lean x: 1 # changes y: 282 line churn NavierStokes/ClosedIntervalJetAlgebra.lean x: 1 # changes y: 293 line churn NavierStokes/ClosedIntervalMomentRepair.lean x: 1 # changes y: 236 line churn NavierStokes/ComparatorR3Theorem.lean x: 1 # changes y: 14 line churn NavierStokes/ComparatorTheorem.lean x: 1 # changes y: 15 line churn NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 # changes y: 99 line churn NavierStokes/FlatPrimitivePaper.lean x: 1 # changes y: 113 line churn NavierStokes/GenericAngularRecovery.lean x: 1 # changes y: 162 line churn NavierStokes/GenericFactorSupport.lean x: 1 # changes y: 139 line churn NavierStokes/GenericJetRateAlgebra.lean x: 1 # changes y: 62 line churn NavierStokes/GenericRealization.lean x: 1 # changes y: 200 line churn NavierStokes/GenericRealizationBounds.lean x: 1 # changes y: 288 line churn NavierStokes/GenericSolenoidalRealization.lean x: 1 # changes y: 229 line churn NavierStokes/GenericSummationRealization.lean x: 1 # changes y: 133 line churn NavierStokes/GenericSupportLocalCoefficients.lean x: 1 # changes y: 227 line churn NavierStokes/GenericSupportLocalSummation.lean x: 1 # changes y: 165 line churn NavierStokes/GenericSupportedPolynomial.lean x: 1 # changes y: 285 line churn NavierStokes/GenericTupleRealization.lean x: 1 # changes y: 214 line churn NavierStokes/GenericTupleSupport.lean x: 1 # changes y: 190 line churn NavierStokes/GenericVelocityRates.lean x: 1 # changes y: 218 line churn NavierStokes/HolomorphicFamilyAnalytic.lean x: 1 # changes y: 98 line churn NavierStokes/LabelCounting.lean x: 1 # changes y: 334 line churn NavierStokes/LabelCountingFinite.lean x: 1 # changes y: 148 line churn NavierStokes/LocalAngularGrowth.lean x: 1 # changes y: 251 line churn NavierStokes/LocalAngularScalar.lean x: 1 # changes y: 108 line churn NavierStokes/LocalHeatExterior.lean x: 1 # changes y: 153 line churn NavierStokes/LocalHeatFormula.lean x: 1 # changes y: 140 line churn NavierStokes/LocalHeatPressure.lean x: 1 # changes y: 107 line churn NavierStokes/LocalJetBounds.lean x: 1 # changes y: 112 line churn NavierStokes/LocalPaperDomain.lean x: 1 # changes y: 96 line churn NavierStokes/LocalPaperHeat.lean x: 1 # changes y: 74 line churn NavierStokes/LocalPaperTheorem.lean x: 1 # changes y: 186 line churn NavierStokes/LocalPotentialRebundle.lean x: 1 # changes y: 271 line churn NavierStokes/LocalResidualFlatness.lean x: 1 # changes y: 131 line churn NavierStokes/MeanLocalDefectBounds.lean x: 1 # changes y: 333 line churn NavierStokes/ModulatedProfileJetRates.lean x: 1 # changes y: 443 line churn NavierStokes/MomentRepairPicard.lean x: 1 # changes y: 105 line churn NavierStokes/NaturalAxisCoefficients.lean x: 1 # changes y: 24 line churn NavierStokes/NaturalEntrance.lean x: 1 # changes y: 55 line churn NavierStokes/NaturalExitBounds.lean x: 1 # changes y: 244 line churn NavierStokes/NaturalProfile.lean x: 1 # changes y: 12 line churn NavierStokes/OutgoingNegativeSlopeCone.lean x: 1 # changes y: 156 line churn NavierStokes/PaperAdditionalResults.lean x: 1 # changes y: 30 line churn NavierStokes/PaperLocalization.lean x: 1 # changes y: 52 line churn NavierStokes/ParticularOneSided.lean x: 1 # changes y: 225 line churn NavierStokes/PeriodicComparatorSolution.lean x: 1 # changes y: 43 line churn NavierStokes/PeriodicPaperComparator.lean x: 1 # changes y: 54 line churn NavierStokes/PeriodicPaperSupport.lean x: 1 # changes y: 110 line churn NavierStokes/PeriodicViscosity.lean x: 1 # changes y: 78 line churn NavierStokes/PeriodizeLatticeCover.lean x: 1 # changes y: 27 line churn NavierStokes/QuadraticLinearization.lean x: 1 # changes y: 46 line churn NavierStokes/R3/ComparatorBridge.lean x: 1 # changes y: 90 line churn NavierStokes/R3/H3CandidateStrong.lean x: 1 # changes y: 123 line churn NavierStokes/R3/H3CandidateUniqueness.lean x: 1 # changes y: 116 line churn NavierStokes/R3/H3CompactHelpers.lean x: 1 # changes y: 85 line churn NavierStokes/R3/H3Comparison.lean x: 1 # changes y: 120 line churn NavierStokes/R3/H3Curve.lean x: 1 # changes y: 128 line churn NavierStokes/R3/H3Embedding.lean x: 1 # changes y: 94 line churn NavierStokes/R3/H3Energy.lean x: 1 # changes y: 130 line churn NavierStokes/R3/H3MaximalLifespan.lean x: 1 # changes y: 118 line churn NavierStokes/R3/H3Products.lean x: 1 # changes y: 102 line churn NavierStokes/R3/H3WeakEmbedding.lean x: 1 # changes y: 147 line churn NavierStokes/R3/ParabolicDefinitions.lean x: 1 # changes y: 34 line churn NavierStokes/R3/ParabolicSupport.lean x: 1 # changes y: 71 line churn NavierStokes/R3/PositiveTimeForce.lean x: 1 # changes y: 82 line churn NavierStokes/R3/SharpEnergyBound.lean x: 1 # changes y: 68 line churn NavierStokes/R3/Theorem.lean x: 1 # changes y: 81 line churn NavierStokes/R3/ViscosityScaling.lean x: 1 # changes y: 197 line churn NavierStokes/R3/ViscousUniqueness.lean x: 1 # changes y: 59 line churn NavierStokes/ReferenceBounds.lean x: 1 # changes y: 6 line churn NavierStokes/ReferenceEndpointRate.lean x: 1 # changes y: 310 line churn NavierStokes/ReferenceUniformJets.lean x: 1 # changes y: 410 line churn NavierStokes/ReferenceUniformStocks.lean x: 1 # changes y: 461 line churn NavierStokes/RegularSingularIntegral.lean x: 1 # changes y: 49 line churn NavierStokes/SeedConePaper.lean x: 1 # changes y: 91 line churn NavierStokes/SeedHandbackJets.lean x: 1 # changes y: 392 line churn NavierStokes/SharpCurrentModeJets.lean x: 1 # changes y: 196 line churn NavierStokes/SharpCurrentParticularBounds.lean x: 1 # changes y: 262 line churn NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 # changes y: 346 line churn NavierStokes/SharpGluedStageBounds.lean x: 1 # changes y: 178 line churn NavierStokes/SharpMeanJetBounds.lean x: 1 # changes y: 300 line churn NavierStokes/SharpPhysicalCarrier.lean x: 1 # changes y: 172 line churn NavierStokes/SharpPhysicalPhase.lean x: 1 # changes y: 376 line churn NavierStokes/SmoothPowerMomentMatrix.lean x: 1 # changes y: 210 line churn NavierStokes/TerminalEdgePaper.lean x: 1 # changes y: 36 line churn NavierStokes/TrueConeLoopPaper.lean x: 1 # changes y: 69 line churn NavierStokes/UniformQuadraticBranch.lean x: 1 # changes y: 174 line churn NavierStokes/WholeDomainHeatGeometry.lean x: 1 # changes y: 157 line churn NavierStokes/WholeDomainStageBounds.lean x: 1 # changes y: 181 line churn NavierStokes/WithinPathFamily.lean x: 1 # changes y: 142 line churn README.md x: 1 # changes y: 8 line churn
461.0
line churn
  min: 1.0
  average: 134.17
  25th percentile: 75.25
  median: 111.5
  75th percentile: 173.5
  max: 461.0
0 1.0
# changes
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

Number of Contributors vs. Line Churn: 187 points

NavierStokes.lean x: 1 # contributors y: 1 line churn NavierStokes/ActivationCone.lean x: 1 # contributors y: 4 line churn NavierStokes/ActiveAnnulusWeight.lean x: 1 # contributors y: 2 line churn NavierStokes/ActualBasePressureBounds.lean x: 1 # contributors y: 151 line churn NavierStokes/AppendixHeatResults.lean x: 1 # contributors y: 177 line churn NavierStokes/AppendixJoiningResults.lean x: 1 # contributors y: 101 line churn NavierStokes/AxisAnalyticCoefficients.lean x: 1 # contributors y: 79 line churn NavierStokes/AxisAnalyticRadialSeries.lean x: 1 # contributors y: 87 line churn NavierStokes/AxisInverseFactors.lean x: 1 # contributors y: 264 line churn NavierStokes/AxisJointAnalytic.lean x: 1 # contributors y: 125 line churn NavierStokes/AxisModelBounds.lean x: 1 # contributors y: 60 line churn NavierStokes/AxisRootPressureBounds.lean x: 1 # contributors y: 75 line churn NavierStokes/BaseAngularGrowth.lean x: 1 # contributors y: 127 line churn NavierStokes/ClosedIntervalCk.lean x: 1 # contributors y: 337 line churn NavierStokes/ClosedIntervalCkOperators.lean x: 1 # contributors y: 282 line churn NavierStokes/ClosedIntervalJetAlgebra.lean x: 1 # contributors y: 293 line churn NavierStokes/ClosedIntervalMomentRepair.lean x: 1 # contributors y: 236 line churn NavierStokes/ComparatorR3Theorem.lean x: 1 # contributors y: 14 line churn NavierStokes/ComparatorTheorem.lean x: 1 # contributors y: 15 line churn NavierStokes/CurrentPhysicalRadialClosure.lean x: 1 # contributors y: 99 line churn NavierStokes/FlatPrimitivePaper.lean x: 1 # contributors y: 113 line churn NavierStokes/GenericAngularRecovery.lean x: 1 # contributors y: 162 line churn NavierStokes/GenericFactorSupport.lean x: 1 # contributors y: 139 line churn NavierStokes/GenericJetRateAlgebra.lean x: 1 # contributors y: 62 line churn NavierStokes/GenericRealization.lean x: 1 # contributors y: 200 line churn NavierStokes/GenericRealizationBounds.lean x: 1 # contributors y: 288 line churn NavierStokes/GenericSolenoidalRealization.lean x: 1 # contributors y: 229 line churn NavierStokes/GenericSummationRealization.lean x: 1 # contributors y: 133 line churn NavierStokes/GenericSupportLocalCoefficients.lean x: 1 # contributors y: 227 line churn NavierStokes/GenericSupportLocalSummation.lean x: 1 # contributors y: 165 line churn NavierStokes/GenericSupportedPolynomial.lean x: 1 # contributors y: 285 line churn NavierStokes/GenericTupleRealization.lean x: 1 # contributors y: 214 line churn NavierStokes/GenericTupleSupport.lean x: 1 # contributors y: 190 line churn NavierStokes/GenericVelocityRates.lean x: 1 # contributors y: 218 line churn NavierStokes/HolomorphicFamilyAnalytic.lean x: 1 # contributors y: 98 line churn NavierStokes/LabelCounting.lean x: 1 # contributors y: 334 line churn NavierStokes/LabelCountingFinite.lean x: 1 # contributors y: 148 line churn NavierStokes/LocalAngularGrowth.lean x: 1 # contributors y: 251 line churn NavierStokes/LocalAngularScalar.lean x: 1 # contributors y: 108 line churn NavierStokes/LocalHeatExterior.lean x: 1 # contributors y: 153 line churn NavierStokes/LocalHeatFormula.lean x: 1 # contributors y: 140 line churn NavierStokes/LocalHeatPressure.lean x: 1 # contributors y: 107 line churn NavierStokes/LocalJetBounds.lean x: 1 # contributors y: 112 line churn NavierStokes/LocalPaperDomain.lean x: 1 # contributors y: 96 line churn NavierStokes/LocalPaperHeat.lean x: 1 # contributors y: 74 line churn NavierStokes/LocalPaperTheorem.lean x: 1 # contributors y: 186 line churn NavierStokes/LocalPotentialRebundle.lean x: 1 # contributors y: 271 line churn NavierStokes/LocalResidualFlatness.lean x: 1 # contributors y: 131 line churn NavierStokes/MeanLocalDefectBounds.lean x: 1 # contributors y: 333 line churn NavierStokes/ModulatedProfileJetRates.lean x: 1 # contributors y: 443 line churn NavierStokes/MomentRepairPicard.lean x: 1 # contributors y: 105 line churn NavierStokes/NaturalAxisCoefficients.lean x: 1 # contributors y: 24 line churn NavierStokes/NaturalEntrance.lean x: 1 # contributors y: 55 line churn NavierStokes/NaturalExitBounds.lean x: 1 # contributors y: 244 line churn NavierStokes/NaturalProfile.lean x: 1 # contributors y: 12 line churn NavierStokes/OutgoingNegativeSlopeCone.lean x: 1 # contributors y: 156 line churn NavierStokes/PaperAdditionalResults.lean x: 1 # contributors y: 30 line churn NavierStokes/PaperLocalization.lean x: 1 # contributors y: 52 line churn NavierStokes/ParticularOneSided.lean x: 1 # contributors y: 225 line churn NavierStokes/PeriodicComparatorSolution.lean x: 1 # contributors y: 43 line churn NavierStokes/PeriodicPaperComparator.lean x: 1 # contributors y: 54 line churn NavierStokes/PeriodicPaperSupport.lean x: 1 # contributors y: 110 line churn NavierStokes/PeriodicViscosity.lean x: 1 # contributors y: 78 line churn NavierStokes/PeriodizeLatticeCover.lean x: 1 # contributors y: 27 line churn NavierStokes/QuadraticLinearization.lean x: 1 # contributors y: 46 line churn NavierStokes/R3/ComparatorBridge.lean x: 1 # contributors y: 90 line churn NavierStokes/R3/H3CandidateStrong.lean x: 1 # contributors y: 123 line churn NavierStokes/R3/H3CandidateUniqueness.lean x: 1 # contributors y: 116 line churn NavierStokes/R3/H3CompactHelpers.lean x: 1 # contributors y: 85 line churn NavierStokes/R3/H3Comparison.lean x: 1 # contributors y: 120 line churn NavierStokes/R3/H3Curve.lean x: 1 # contributors y: 128 line churn NavierStokes/R3/H3Embedding.lean x: 1 # contributors y: 94 line churn NavierStokes/R3/H3Energy.lean x: 1 # contributors y: 130 line churn NavierStokes/R3/H3MaximalLifespan.lean x: 1 # contributors y: 118 line churn NavierStokes/R3/H3Products.lean x: 1 # contributors y: 102 line churn NavierStokes/R3/H3WeakEmbedding.lean x: 1 # contributors y: 147 line churn NavierStokes/R3/ParabolicDefinitions.lean x: 1 # contributors y: 34 line churn NavierStokes/R3/ParabolicSupport.lean x: 1 # contributors y: 71 line churn NavierStokes/R3/PositiveTimeForce.lean x: 1 # contributors y: 82 line churn NavierStokes/R3/SharpEnergyBound.lean x: 1 # contributors y: 68 line churn NavierStokes/R3/Theorem.lean x: 1 # contributors y: 81 line churn NavierStokes/R3/ViscosityScaling.lean x: 1 # contributors y: 197 line churn NavierStokes/R3/ViscousUniqueness.lean x: 1 # contributors y: 59 line churn NavierStokes/ReferenceBounds.lean x: 1 # contributors y: 6 line churn NavierStokes/ReferenceEndpointRate.lean x: 1 # contributors y: 310 line churn NavierStokes/ReferenceUniformJets.lean x: 1 # contributors y: 410 line churn NavierStokes/ReferenceUniformStocks.lean x: 1 # contributors y: 461 line churn NavierStokes/RegularSingularIntegral.lean x: 1 # contributors y: 49 line churn NavierStokes/SeedConePaper.lean x: 1 # contributors y: 91 line churn NavierStokes/SeedHandbackJets.lean x: 1 # contributors y: 392 line churn NavierStokes/SharpCurrentModeJets.lean x: 1 # contributors y: 196 line churn NavierStokes/SharpCurrentParticularBounds.lean x: 1 # contributors y: 262 line churn NavierStokes/SharpCurrentPhysicalPhase.lean x: 1 # contributors y: 346 line churn NavierStokes/SharpGluedStageBounds.lean x: 1 # contributors y: 178 line churn NavierStokes/SharpMeanJetBounds.lean x: 1 # contributors y: 300 line churn NavierStokes/SharpPhysicalCarrier.lean x: 1 # contributors y: 172 line churn NavierStokes/SharpPhysicalPhase.lean x: 1 # contributors y: 376 line churn NavierStokes/SmoothPowerMomentMatrix.lean x: 1 # contributors y: 210 line churn NavierStokes/TerminalEdgePaper.lean x: 1 # contributors y: 36 line churn NavierStokes/TrueConeLoopPaper.lean x: 1 # contributors y: 69 line churn NavierStokes/UniformQuadraticBranch.lean x: 1 # contributors y: 174 line churn NavierStokes/WholeDomainHeatGeometry.lean x: 1 # contributors y: 157 line churn NavierStokes/WholeDomainStageBounds.lean x: 1 # contributors y: 181 line churn NavierStokes/WithinPathFamily.lean x: 1 # contributors y: 142 line churn
461.0
line churn
  min: 1.0
  average: 134.84
  25th percentile: 76.0
  median: 112.0
  75th percentile: 174.0
  max: 461.0
0 1.0
# contributors
min: 1.0 | average: 1.0 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 1.0

File Size vs. Line Churn: 187 points

NavierStokes.lean x: 2 lines of code y: 1 line churn NavierStokes/ActivationCone.lean x: 926 lines of code y: 4 line churn NavierStokes/ActivationContinuation.lean x: 1864 lines of code y: 4 line churn NavierStokes/ActiveAnnulusWeight.lean x: 1158 lines of code y: 2 line churn NavierStokes/ActualBasePressureBounds.lean x: 134 lines of code y: 151 line churn NavierStokes/AppendixHeatResults.lean x: 154 lines of code y: 177 line churn NavierStokes/AppendixJoiningResults.lean x: 91 lines of code y: 101 line churn NavierStokes/AxisAnalyticCoefficients.lean x: 67 lines of code y: 79 line churn NavierStokes/AxisAnalyticRadialSeries.lean x: 73 lines of code y: 87 line churn NavierStokes/AxisInverseFactors.lean x: 232 lines of code y: 264 line churn NavierStokes/AxisJointAnalytic.lean x: 114 lines of code y: 125 line churn NavierStokes/AxisModelBounds.lean x: 49 lines of code y: 60 line churn NavierStokes/AxisRootPressureBounds.lean x: 68 lines of code y: 75 line churn NavierStokes/BaseAngularGrowth.lean x: 105 lines of code y: 127 line churn NavierStokes/ClosedIntervalCk.lean x: 273 lines of code y: 337 line churn NavierStokes/ClosedIntervalCkOperators.lean x: 250 lines of code y: 282 line churn NavierStokes/ClosedIntervalJetAlgebra.lean x: 249 lines of code y: 293 line churn NavierStokes/ClosedIntervalMomentRepair.lean x: 205 lines of code y: 236 line churn NavierStokes/CommonCoverWithin.lean x: 110 lines of code y: 127 line churn NavierStokes/CompactHolomorphicFamily.lean x: 54 lines of code y: 61 line churn NavierStokes/ComparatorR3Theorem.lean x: 38 lines of code y: 14 line churn NavierStokes/ComparatorTheorem.lean x: 46 lines of code y: 15 line churn NavierStokes/CurrentPhysicalRadialClosure.lean x: 83 lines of code y: 99 line churn NavierStokes/FlatPrimitivePaper.lean x: 105 lines of code y: 113 line churn NavierStokes/GenericAngularRecovery.lean x: 146 lines of code y: 162 line churn NavierStokes/GenericDiagonalSchedule.lean x: 139 lines of code y: 151 line churn NavierStokes/GenericDifferentialPolynomial.lean x: 258 lines of code y: 283 line churn NavierStokes/GenericFactorSupport.lean x: 122 lines of code y: 139 line churn NavierStokes/GenericJetRateAlgebra.lean x: 51 lines of code y: 62 line churn NavierStokes/GenericRealization.lean x: 184 lines of code y: 200 line churn NavierStokes/GenericRealizationBounds.lean x: 265 lines of code y: 288 line churn NavierStokes/GenericSolenoidalRealization.lean x: 213 lines of code y: 229 line churn NavierStokes/GenericSummationRealization.lean x: 126 lines of code y: 133 line churn NavierStokes/GenericSupportLocalCoefficients.lean x: 207 lines of code y: 227 line churn NavierStokes/GenericSupportLocalSummation.lean x: 152 lines of code y: 165 line churn NavierStokes/GenericSupportedPolynomial.lean x: 259 lines of code y: 285 line churn NavierStokes/GenericTupleRealization.lean x: 200 lines of code y: 214 line churn NavierStokes/GenericTupleSupport.lean x: 176 lines of code y: 190 line churn NavierStokes/GenericVelocityRates.lean x: 205 lines of code y: 218 line churn NavierStokes/HolomorphicFamilyAnalytic.lean x: 83 lines of code y: 98 line churn NavierStokes/LabelCounting.lean x: 306 lines of code y: 334 line churn NavierStokes/LabelCountingFinite.lean x: 129 lines of code y: 148 line churn NavierStokes/LeadingStressWeights.lean x: 1051 lines of code y: 2 line churn NavierStokes/LocalAngularGrowth.lean x: 226 lines of code y: 251 line churn NavierStokes/LocalAngularScalar.lean x: 92 lines of code y: 108 line churn NavierStokes/LocalHeatExterior.lean x: 130 lines of code y: 153 line churn NavierStokes/LocalHeatFormula.lean x: 119 lines of code y: 140 line churn NavierStokes/LocalHeatPressure.lean x: 94 lines of code y: 107 line churn NavierStokes/LocalJetBounds.lean x: 101 lines of code y: 112 line churn NavierStokes/LocalPaperDomain.lean x: 80 lines of code y: 96 line churn NavierStokes/LocalPaperHeat.lean x: 62 lines of code y: 74 line churn NavierStokes/LocalPaperTheorem.lean x: 171 lines of code y: 186 line churn NavierStokes/LocalPotentialRebundle.lean x: 240 lines of code y: 271 line churn NavierStokes/LocalResidualFlatness.lean x: 120 lines of code y: 131 line churn NavierStokes/LocalScheduleAngular.lean x: 63 lines of code y: 76 line churn NavierStokes/MeanLocalDefectBounds.lean x: 298 lines of code y: 333 line churn NavierStokes/ModulatedProfileJetRates.lean x: 427 lines of code y: 443 line churn NavierStokes/MomentRepairPicard.lean x: 93 lines of code y: 105 line churn NavierStokes/NaturalAxisCoefficients.lean x: 521 lines of code y: 24 line churn NavierStokes/NaturalAxisRange.lean x: 221 lines of code y: 252 line churn NavierStokes/NaturalCore.lean x: 455 lines of code y: 2 line churn NavierStokes/NaturalEntrance.lean x: 1287 lines of code y: 55 line churn NavierStokes/NaturalExitBounds.lean x: 231 lines of code y: 244 line churn NavierStokes/NaturalExitParameterJets.lean x: 206 lines of code y: 230 line churn NavierStokes/NaturalProfile.lean x: 635 lines of code y: 12 line churn NavierStokes/NominalProfile.lean x: 2359 lines of code y: 4 line churn NavierStokes/OutgoingNegativeSlopeCone.lean x: 137 lines of code y: 156 line churn NavierStokes/PaperAdditionalResults.lean x: 30 lines of code y: 30 line churn NavierStokes/PaperLocalization.lean x: 44 lines of code y: 52 line churn NavierStokes/PaperResults.lean x: 4 lines of code y: 4 line churn NavierStokes/ParameterizedMomentRepair.lean x: 87 lines of code y: 95 line churn NavierStokes/ParticularOneSided.lean x: 199 lines of code y: 225 line churn NavierStokes/ParticularWithinBounds.lean x: 66 lines of code y: 73 line churn NavierStokes/ParticularWithinPressure.lean x: 147 lines of code y: 164 line churn NavierStokes/PeriodicComparatorSolution.lean x: 36 lines of code y: 43 line churn NavierStokes/PeriodicPaperComparator.lean x: 45 lines of code y: 54 line churn NavierStokes/PeriodicPaperSupport.lean x: 93 lines of code y: 110 line churn NavierStokes/PeriodicViscosity.lean x: 70 lines of code y: 78 line churn NavierStokes/PeriodicViscosityUniqueness.lean x: 100 lines of code y: 113 line churn NavierStokes/PeriodizeLatticeCover.lean x: 20 lines of code y: 27 line churn NavierStokes/PositiveAxisDifferential.lean x: 255 lines of code y: 286 line churn NavierStokes/QuadraticLinearization.lean x: 41 lines of code y: 46 line churn NavierStokes/R3/CandidateBreakdown.lean x: 69 lines of code y: 79 line churn NavierStokes/R3/ComparatorBridge.lean x: 80 lines of code y: 90 line churn NavierStokes/R3/DelayedExtension.lean x: 72 lines of code y: 89 line churn NavierStokes/R3/H3Approximation.lean x: 134 lines of code y: 154 line churn NavierStokes/R3/H3Blowup.lean x: 67 lines of code y: 78 line churn NavierStokes/R3/H3CandidateStrong.lean x: 110 lines of code y: 123 line churn NavierStokes/R3/H3CandidateUniqueness.lean x: 107 lines of code y: 116 line churn NavierStokes/R3/H3CompactHelpers.lean x: 71 lines of code y: 85 line churn NavierStokes/R3/H3Comparison.lean x: 105 lines of code y: 120 line churn NavierStokes/R3/H3Continuity.lean x: 94 lines of code y: 108 line churn NavierStokes/R3/H3Curve.lean x: 106 lines of code y: 128 line churn NavierStokes/R3/H3Definitions.lean x: 60 lines of code y: 77 line churn NavierStokes/R3/H3DivCurlFourier.lean x: 202 lines of code y: 228 line churn NavierStokes/R3/H3Embedding.lean x: 80 lines of code y: 94 line churn NavierStokes/R3/H3Energy.lean x: 118 lines of code y: 130 line churn NavierStokes/R3/H3MaximalLifespan.lean x: 99 lines of code y: 118 line churn NavierStokes/R3/H3PressureOrthogonality.lean x: 105 lines of code y: 119 line churn NavierStokes/R3/H3Products.lean x: 91 lines of code y: 102 line churn NavierStokes/R3/H3Transport.lean x: 133 lines of code y: 148 line churn NavierStokes/R3/H3UniformApproximation.lean x: 82 lines of code y: 93 line churn NavierStokes/R3/H3WeakEmbedding.lean x: 130 lines of code y: 147 line churn NavierStokes/R3/IntegratedDissipation.lean x: 279 lines of code y: 294 line churn NavierStokes/R3/L2TimeDerivative.lean x: 115 lines of code y: 124 line churn NavierStokes/R3/ParabolicDefinitions.lean x: 23 lines of code y: 34 line churn NavierStokes/R3/ParabolicEnergy.lean x: 55 lines of code y: 63 line churn NavierStokes/R3/ParabolicScaling.lean x: 125 lines of code y: 141 line churn NavierStokes/R3/ParabolicSupport.lean x: 62 lines of code y: 71 line churn NavierStokes/R3/PositiveTimeForce.lean x: 65 lines of code y: 82 line churn NavierStokes/R3/SharpEnergyBound.lean x: 60 lines of code y: 68 line churn NavierStokes/R3/SpatialCauchySchwarz.lean x: 38 lines of code y: 46 line churn NavierStokes/R3/Theorem.lean x: 68 lines of code y: 81 line churn NavierStokes/R3/ViscosityScaling.lean x: 174 lines of code y: 197 line churn NavierStokes/R3/ViscousUniqueness.lean x: 51 lines of code y: 59 line churn NavierStokes/ReferenceBounds.lean x: 1161 lines of code y: 6 line churn NavierStokes/ReferenceEndpointRate.lean x: 287 lines of code y: 310 line churn NavierStokes/ReferenceUniformJets.lean x: 376 lines of code y: 410 line churn NavierStokes/ReferenceUniformStocks.lean x: 404 lines of code y: 461 line churn NavierStokes/RegularSingularIntegral.lean x: 42 lines of code y: 49 line churn NavierStokes/SeedConePaper.lean x: 77 lines of code y: 91 line churn NavierStokes/SeedHandbackJets.lean x: 344 lines of code y: 392 line churn NavierStokes/SharpCommonGraphJets.lean x: 58 lines of code y: 61 line churn NavierStokes/SharpCurrentModeJets.lean x: 185 lines of code y: 196 line churn NavierStokes/SharpCurrentParticularBounds.lean x: 252 lines of code y: 262 line churn NavierStokes/SharpCurrentPhysicalPhase.lean x: 322 lines of code y: 346 line churn NavierStokes/SharpGeometricModeJets.lean x: 84 lines of code y: 90 line churn NavierStokes/SharpGluedStageBounds.lean x: 161 lines of code y: 178 line churn NavierStokes/SharpLogWeights.lean x: 50 lines of code y: 54 line churn NavierStokes/SharpMeanJetBounds.lean x: 287 lines of code y: 300 line churn NavierStokes/SharpPhaseJetAlgebra.lean x: 82 lines of code y: 92 line churn NavierStokes/SharpPhysicalCarrier.lean x: 163 lines of code y: 172 line churn NavierStokes/SharpPhysicalCopyBounds.lean x: 188 lines of code y: 197 line churn NavierStokes/SharpPhysicalLogBounds.lean x: 93 lines of code y: 112 line churn NavierStokes/SharpPhysicalLoss.lean x: 100 lines of code y: 106 line churn NavierStokes/SharpPhysicalPhase.lean x: 350 lines of code y: 376 line churn NavierStokes/SharpWaveStageBounds.lean x: 127 lines of code y: 139 line churn NavierStokes/SmoothExponentialMomentMatrix.lean x: 95 lines of code y: 111 line churn NavierStokes/SmoothPowerMomentMatrix.lean x: 189 lines of code y: 210 line churn NavierStokes/SmoothQuadraticBranch.lean x: 71 lines of code y: 83 line churn NavierStokes/TerminalEdgePaper.lean x: 29 lines of code y: 36 line churn NavierStokes/TorusCoverDegree.lean x: 267 lines of code y: 309 line churn NavierStokes/TorusCoverLattice.lean x: 101 lines of code y: 123 line churn NavierStokes/TrueConeLoopPaper.lean x: 60 lines of code y: 69 line churn NavierStokes/UniformQuadraticBranch.lean x: 160 lines of code y: 174 line churn NavierStokes/WholeDomainBaseBounds.lean x: 170 lines of code y: 190 line churn NavierStokes/WholeDomainCompactBounds.lean x: 94 lines of code y: 110 line churn NavierStokes/WholeDomainHeatCompact.lean x: 58 lines of code y: 72 line churn NavierStokes/WholeDomainHeatGeometry.lean x: 137 lines of code y: 157 line churn NavierStokes/WholeDomainInitializationBounds.lean x: 113 lines of code y: 128 line churn NavierStokes/WholeDomainPhysicalCompact.lean x: 43 lines of code y: 47 line churn NavierStokes/WholeDomainPhysicalStageTheorem.lean x: 274 lines of code y: 293 line churn NavierStokes/WholeDomainStageBounds.lean x: 161 lines of code y: 181 line churn NavierStokes/WithinJointODE.lean x: 89 lines of code y: 105 line churn NavierStokes/WithinPathFamily.lean x: 130 lines of code y: 142 line churn formalization.yaml x: 118 lines of code y: 2 line churn
461.0
line churn
  min: 1.0
  average: 134.84
  25th percentile: 76.0
  median: 112.0
  75th percentile: 174.0
  max: 461.0
0 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