File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 769 files with 183,419 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)
    • 331 files that are 31-90 days old (94,434 lines of code)
    • 438 files that are 1-30 days old (88,985 lines of code)
0% | 0% | 0% | 51% | 48%
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 769 files with 183,419 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)
    • 331 files have been last changed 31-90 days ago (94,434 lines of code)
    • 438 files have been last changed 1-30 days ago (88,985 lines of code)
0% | 0% | 0% | 51% | 48%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
lean, md, json, sh, gitignore, py, toml, txt, yml, rb, yaml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 51% | 48%
yaml0% | 0% | 0% | 100% | 0%
rb0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 56% | 43%
py0% | 0% | 0% | 0% | 100%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 51% | 48%
yaml0% | 0% | 0% | 100% | 0%
rb0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 56% | 43%
py0% | 0% | 0% | 0% | 100%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
zeta230% | 0% | 0% | 100% | 0%
.github0% | 0% | 0% | 100% | 0%
3sum-apsp0% | 0% | 0% | 0% | 100%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
zeta230% | 0% | 0% | 100% | 0%
.github0% | 0% | 0% | 100% | 0%
3sum-apsp0% | 0% | 0% | 0% | 100%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
MediumPNT.lean
in zeta23/Zeta23/FromPNTPlus
3387 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ZetaBounds.lean
in zeta23/Zeta23/FromPNTPlus
2788 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Window.lean
in zeta23/Zeta23/ThmD
1737 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Assembly.lean
in zeta23/Zeta23
1451 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PrimeSideChi.lean
in zeta23/Zeta23/ThmE
1381 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ZeroFree.lean
in zeta23/Zeta23/XiPrime/ExplicitFormula
1351 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Basic.lean
in zeta23/Zeta23/PrimeSideA
1276 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Chebyshev.lean
in zeta23/Zeta23
1144 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ResidueCalcOnRectangles.lean
in zeta23/Zeta23/FromPNTPlus
1062 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Expansion.lean
in zeta23/Zeta23/XiPrime/ExplicitFormula
1035 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
TestWeight.lean
in zeta23/Zeta23/XiPrime/ExplicitFormula
1012 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Transfer.lean
in zeta23/Zeta23/XiPrime
982 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
MellinCalculus.lean
in zeta23/Zeta23/FromPNTPlus
974 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PPChi.lean
in zeta23/Zeta23/ThmE
946 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Effective.lean
in zeta23/Zeta23/WeilEF
909 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Decay.lean
in zeta23/Zeta23/Taper
908 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EndsE1.lean
in zeta23/Zeta23/PrimeSideA
851 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ZeroSide.lean
in zeta23/Zeta23
830 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EndsNu.lean
in zeta23/Zeta23/PrimeSideA
768 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
VerticalLine.lean
in zeta23/Zeta23/WeilEF
763 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PrimeSideB.lean
in zeta23/Zeta23
746 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ExplicitFormula.lean
in zeta23/Zeta23
662 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EFExpansion.lean
in zeta23/Zeta23/XiPrime/Hardy
650 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PPKernel.lean
in zeta23/Zeta23/PrimeSideB
642 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
IntMuChi.lean
in zeta23/Zeta23/ThmE
641 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Landau.lean
in zeta23/Zeta23/WeilEF
641 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Traces.lean
in zeta23/Zeta23/ThmD
640 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Tail.lean
in zeta23/Zeta23
615 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
FullLineChiProof.lean
in zeta23/Zeta23/ThmE
613 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PP.lean
in zeta23/Zeta23/XiPrime/PrimeSide
605 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EndsCore.lean
in zeta23/Zeta23/PrimeSideA
604 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
StirlingVert.lean
in zeta23/Zeta23/GammaFacts
581 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Norms.lean
in zeta23/Zeta23/Taper
577 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Dependence.lean
in zeta23/Zeta23/XiPrime/Transfer
565 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Generic.lean
in zeta23/Zeta23/XiPrime/ZeroCount
556 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Assembly.lean
in zeta23/Zeta23/XiPrime
545 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
FullLine.lean
in zeta23/Zeta23/XiPrime/ExplicitFormula
542 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PsiC.lean
in zeta23/Zeta23/ThmD
535 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Traces.lean
in zeta23/Zeta23/XiPrime/PrimeSide
528 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ZeroFree.lean
in zeta23/Zeta23/XiPrime/Hardy
527 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
NonSquarefree.lean
in zeta23/Zeta23/XiPrime/Coeff
522 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
MainTermChi.lean
in zeta23/Zeta23/ThmE
520 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Final.lean
in zeta23/Zeta23/XiPrime
516 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
AssemblyQ.lean
in zeta23/Zeta23/ThmE
515 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
IntMu.lean
in zeta23/Zeta23/GammaFacts
515 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Spacing.lean
in zeta23/Zeta23/MV
515 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Moments.lean
in zeta23/Zeta23/XiPrime/QuarticWindow
505 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Series.lean
in zeta23/Zeta23/GammaFacts
478 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Count.lean
in zeta23/Zeta23/Tail
472 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
MainTerm.lean
in zeta23/Zeta23/RvM
468 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
ZeroSummabilityGen.lean
in zeta23/Zeta23/WeilEF
6 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
dependabot.yml
in .github
6 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
LinAlg.lean
in zeta23/Zeta23
12 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
XiPrime.lean
in zeta23/scripts/PrintAxioms
12 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lakefile.toml
in zeta23/docbuild
12 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
Zeta23.lean
in zeta23
18 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Support.lean
in zeta23/Zeta23/FromPNTPlus/Mathlib/Algebra/Notation
19 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Statement.lean
in zeta23/Zeta23/RvM
19 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
RvMChiDefs.lean
in zeta23/Zeta23/ThmE
20 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PairCeiling.lean
in zeta23/scripts/PrintAxioms
20 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
QuarticWindow.lean
in zeta23/Zeta23/XiPrime
22 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
GevreyPhi.lean
in zeta23/Zeta23/Taper
23 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lakefile.toml
in zeta23
25 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com jleder@anthropic.com
lean
Basic.lean
in zeta23/Zeta23/FromPNTPlus/Mathlib/Analysis/SpecialFunctions/Log
26 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Final.lean
in zeta23/Zeta23/MV
26 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
BacklundDefs.lean
in zeta23/Zeta23/RvM
26 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Profile.lean
in zeta23/Zeta23/Defs
27 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
InstancePriorities.lean
in zeta23/Zeta23/Prelude
27 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Complete.lean
in zeta23/Zeta23/GammaFacts
27 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Final.lean
in zeta23/Zeta23/PrimeSideB
28 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Family.lean
in zeta23/Zeta23/XiPrime/QuarticWindow
29 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PrintAxioms.lean
in zeta23/scripts
30 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
XiPrime.lean
in zeta23/ChallengeDeps
32 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
LT.lean
in zeta23/Zeta23/XiPrime/Coeff
33 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
TracesHyp.lean
in zeta23/Zeta23/ThmDE
33 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ZetaConj.lean
in zeta23/Zeta23/FromPNTPlus
35 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
RvMChi.lean
in zeta23/Zeta23/ThmE
35 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Reexpansion.lean
in zeta23/Zeta23/XiPrime/Coeff
39 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
SeamClosed.lean
in zeta23/Zeta23/Statement
41 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Unconditional.lean
in zeta23/Zeta23
42 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
InputsW.lean
in zeta23/Zeta23/XiPrime/Transfer
43 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Limit.lean
in zeta23/Zeta23/ThmDE
43 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Defs.lean
in zeta23/Zeta23/RvM
44 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
TracesBoundsE.lean
in zeta23/Zeta23
45 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
XiPrime.lean
in zeta23/Solution
45 - 2026-08-28 2026-08-28 1 2 jleder@anthropic.com ralph@anthropic.com
lean
Package.lean
in zeta23/Zeta23/Tail
46 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
ReexpansionW.lean
in zeta23/Zeta23/XiPrime/Coeff
46 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
PP.lean
in zeta23/Zeta23/ThmDE
47 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
NcountWindow.lean
in zeta23/Zeta23/RvM
50 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
TracesHypChi.lean
in zeta23/Zeta23/ThmE
50 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Coeff.lean
in zeta23/Zeta23/XiPrime
51 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Counting.lean
in zeta23/Zeta23/Defs
53 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EFJTermW.lean
in zeta23/Zeta23/XiPrime/Hardy
57 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Inputs.lean
in zeta23/Zeta23/Assembly
59 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
GzGpChi.lean
in zeta23/Zeta23/ThmE
59 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
FamilyFlat.lean
in zeta23/Zeta23/XiPrime
59 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Certificate.lean
in zeta23/Zeta23/XiPrime
59 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
EFFinal.lean
in zeta23/Zeta23/XiPrime/Hardy
59 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Ceiling.lean
in zeta23/Zeta23/PairCeiling
61 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
lean
Basic.lean
in zeta23/Zeta23/Tail
61 - 2026-08-28 2026-08-28 1 1 jleder@anthropic.com jleder@anthropic.com
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
3474 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
NodeArray.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
740 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Host.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/MinMaxWeight
714 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
AllPairs.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
704 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
BandArray.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Encode
669 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Codes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Wanted
633 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Nodes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
620 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Strassen.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
615 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Buckets.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
608 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
SharedStage.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
601 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
MaxTriangle.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/MinMaxWeight
597 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Loop.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Host
580 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Host.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/NegativeTriangle
580 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Reduction.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
574 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Modulus.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
565 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
WriteMatrices.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Instances
536 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Fill.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/GraphH
534 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma10.lean
in 3sum-apsp/ThreeSumApsp/Sec2
525 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Layout.lean
in 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Corollary15_16
515 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
502 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
499 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma27_28.lean
in 3sum-apsp/ThreeSumApsp/Sec4
491 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FindNegativeTriangle.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
482 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
ZOrder.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
481 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Corollary26.lean
in 3sum-apsp/ThreeSumApsp/Sec4
480 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Trie.lean
in 3sum-apsp/ThreeSumApsp/Spec/Sec4/Theorem30
464 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Split.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Corollary15_16
461 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Classes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Instances
452 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
440 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Build.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/GraphH
435 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FillList.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
434 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
CountSort.lean
in 3sum-apsp/ThreeSumApsp/Lang/Lib
433 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
AllTiles.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Pruned
433 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Stages.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
430 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Corollary31.lean
in 3sum-apsp/ThreeSumApsp/Sec4
427 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Simulation.lean
in 3sum-apsp/ThreeSumApsp/Lang/Compiler
427 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
CountPrime.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
426 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Terms.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/TimeBound
426 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Sizes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Parameters
425 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
BitSearch.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
420 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
UMvRoutines.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary40
420 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Bits.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
412 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
TileTries.lean
in 3sum-apsp/ThreeSumApsp/Spec/Sec4/Theorem30
410 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Query.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
408 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Prepare.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
407 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FromNumbers.lean
in 3sum-apsp/ThreeSumApsp/Sec3/Theorem21a/ChanHe
406 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
List.lean
in 3sum-apsp/ThreeSumApsp/Util
403 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
InstanceFacts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Host
402 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma37.lean
in 3sum-apsp/ThreeSumApsp/Sec5
393 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
QuerySum.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
390 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
lean
3474 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
NodeArray.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
740 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Host.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/MinMaxWeight
714 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
AllPairs.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
704 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
BandArray.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Encode
669 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Codes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Wanted
633 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Nodes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
620 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Strassen.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
615 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Buckets.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
608 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
SharedStage.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
601 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
MaxTriangle.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/MinMaxWeight
597 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Loop.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Host
580 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Host.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/NegativeTriangle
580 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Reduction.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
574 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Modulus.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
565 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
WriteMatrices.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Instances
536 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Fill.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/GraphH
534 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma10.lean
in 3sum-apsp/ThreeSumApsp/Sec2
525 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Layout.lean
in 3sum-apsp/ThreeSumApsp/RunningTimes/Sec3/Corollary15_16
515 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
502 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
499 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma27_28.lean
in 3sum-apsp/ThreeSumApsp/Sec4
491 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FindNegativeTriangle.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
482 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
ZOrder.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
481 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Corollary26.lean
in 3sum-apsp/ThreeSumApsp/Sec4
480 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Trie.lean
in 3sum-apsp/ThreeSumApsp/Spec/Sec4/Theorem30
464 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Split.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Corollary15_16
461 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Classes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Instances
452 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Contracts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
440 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Build.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary39/GraphH
435 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FillList.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
434 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
CountSort.lean
in 3sum-apsp/ThreeSumApsp/Lang/Lib
433 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
AllTiles.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5/Pruned
433 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Stages.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec2/Theorem5
430 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Corollary31.lean
in 3sum-apsp/ThreeSumApsp/Sec4
427 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Simulation.lean
in 3sum-apsp/ThreeSumApsp/Lang/Compiler
427 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
CountPrime.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Hashing
426 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Terms.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/TimeBound
426 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Sizes.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Parameters
425 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
BitSearch.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21b/MinPlus
420 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
UMvRoutines.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec5/Corollary40
420 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Bits.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
412 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
TileTries.lean
in 3sum-apsp/ThreeSumApsp/Spec/Sec4/Theorem30
410 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Query.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
408 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Prepare.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem21a/ChanHe
407 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
FromNumbers.lean
in 3sum-apsp/ThreeSumApsp/Sec3/Theorem21a/ChanHe
406 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
List.lean
in 3sum-apsp/ThreeSumApsp/Util
403 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
InstanceFacts.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec3/Theorem17/Host
402 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
Lemma37.lean
in 3sum-apsp/ThreeSumApsp/Sec5
393 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
lean
QuerySum.lean
in 3sum-apsp/ThreeSumApsp/Programs/Sec4/Theorem30
390 - 2026-10-06 2026-10-06 1 1 ecprice@anthropic.com ecprice@anthropic.com
Summary
  • Number of files: 769
  • Daily file updates (only one update per file and date counted): 1160
  • First update: 2026-08-07
  • Latest update: 2026-10-06
  • Days between first and latest update: 61 (8 weeks, estimated 40 working days)
  • Active days (at least one file change): 9
  • Data: