Index of /files/lean-src/lean/RequestProject/
../
ArcConstruction.lean 19-Aug-2026 12:37 16K
ArcConstructionExtra.lean 19-Aug-2026 12:37 5408
ArcConstructionSigma.lean 19-Aug-2026 12:37 4002
Audit.lean 19-Aug-2026 12:37 1056
BernoulliFourier.lean 19-Aug-2026 12:37 5817
BlockCRTEnergy.lean 19-Aug-2026 12:37 10K
BlockMassPool.lean 19-Aug-2026 12:37 16K
BlockSystemConstruction.lean 19-Aug-2026 12:37 1729
CircleMethod.lean 19-Aug-2026 12:37 16K
CircleMethodArcs.lean 19-Aug-2026 12:37 21K
CircleMethodAssembly.lean 19-Aug-2026 12:37 7711
CircleMethodMainArc.lean 19-Aug-2026 12:37 9459
CircleMethodMainTerm.lean 19-Aug-2026 12:37 17K
CrossLabelEnergy.lean 19-Aug-2026 12:37 2340
Defs.lean 19-Aug-2026 12:37 4811
DyadicBlockDef.lean 19-Aug-2026 12:37 604
DyadicBlockUpper.lean 19-Aug-2026 12:37 3252
DyadicPrimes.lean 19-Aug-2026 12:37 425
Erdos306Final.lean 19-Aug-2026 12:37 6735
Erdos306FormalConjectures.lean 19-Aug-2026 12:37 6529
Erdos306Unconditional.lean 19-Aug-2026 12:37 794
ExtraEnergyMinorArc.lean 19-Aug-2026 12:37 6332
ExtraMinorDamping.lean 19-Aug-2026 12:37 4849
FiberCount.lean 19-Aug-2026 12:37 4853
FourierPositivity.lean 19-Aug-2026 12:37 5750
GlobalControl.lean 19-Aug-2026 12:37 128K
GlobalControlG5Assembly.lean 19-Aug-2026 12:37 88K
GlobalControlG5Data.lean 19-Aug-2026 12:37 29K
GlobalControlG6.lean 19-Aug-2026 12:37 30K
GlobalControlG7.lean 19-Aug-2026 12:37 18K
GlobalControlSectorI.lean 19-Aug-2026 12:37 34K
GlobalPeierlsBookkeeping.lean 19-Aug-2026 12:37 12K
LatticeSpan.lean 19-Aug-2026 12:37 2751
MainTheorem.lean 19-Aug-2026 12:37 5402
MyAudit.lean 19-Aug-2026 12:37 86
R2AssemblyFields.lean 19-Aug-2026 12:37 6061
R2AssemblySkeleton.lean 19-Aug-2026 12:37 5068
R2BaseBudgetAssembly.lean 19-Aug-2026 12:37 5023
R2BaseLoadUpper.lean 19-Aug-2026 12:37 12K
R2BlockMinorLane.lean 19-Aug-2026 12:37 7182
R2ComponentBounds.lean 19-Aug-2026 12:37 5249
R2ComponentCoreSupply.lean 19-Aug-2026 12:37 3526
R2ComponentDisjoint.lean 19-Aug-2026 12:37 2794
R2ComponentMassReady.lean 19-Aug-2026 12:37 1571
R2ComponentNumeric.lean 19-Aug-2026 12:37 6015
R2ComponentNumericAssembly.lean 19-Aug-2026 12:37 4949
R2ComponentScaleCard.lean 19-Aug-2026 12:37 4105
R2ComponentSupply.lean 19-Aug-2026 12:37 2613
R2ComponentSupplyReady.lean 19-Aug-2026 12:37 3226
R2ConcreteData.lean 19-Aug-2026 12:37 10K
R2DyadicBlockSupport.lean 19-Aug-2026 12:37 1488
R2EventualScale.lean 19-Aug-2026 12:37 2913
R2ExtraCRTSibling.lean 19-Aug-2026 12:37 4042
R2ExtraFrequencyChoice.lean 19-Aug-2026 12:37 7980
R2ExtraFrequencyChoiceInt.lean 19-Aug-2026 12:37 8715
R2ExtraMinorLane.lean 19-Aug-2026 12:37 8108
R2ExtraMultiGadget.lean 19-Aug-2026 12:37 8727
R2ExtraMultiGadgetReservoir.lean 19-Aug-2026 12:37 3600
R2ExtraReservoirSelection.lean 19-Aug-2026 12:37 3763
R2ExtraReservoirUniformBudget.lean 19-Aug-2026 12:37 3854
R2FinalAssembly.lean 19-Aug-2026 12:37 16K
R2FinalAssemblyRaw.lean 19-Aug-2026 12:37 6071
R2ForbiddenBaseBudget.lean 19-Aug-2026 12:37 4483
R2ForbiddenPoolBudget.lean 19-Aug-2026 12:37 3964
R2FourierFactor.lean 19-Aug-2026 12:37 7709
R2LargeK0.lean 19-Aug-2026 12:37 2667
R2MainArcClassification.lean 19-Aug-2026 12:37 5652
R2MassBatchBaseLoadBudget.lean 19-Aug-2026 12:37 1015
R2MassBatchCandidatePool.lean 19-Aug-2026 12:37 8462
R2MassBatchFinalBudget.lean 19-Aug-2026 12:37 3570
R2MassBatchPoolSupply.lean 19-Aug-2026 12:37 3163
R2MassBatchReady.lean 19-Aug-2026 12:37 1642
R2MassBatchScale.lean 19-Aug-2026 12:37 1294
R2MassBatchSupply.lean 19-Aug-2026 12:37 4676
R2MassBatchWeights.lean 19-Aug-2026 12:37 3415
R2MinorAssembly.lean 19-Aug-2026 12:37 3871
R2MinorBudgetNumerics.lean 19-Aug-2026 12:37 4988
R2MinorCover.lean 19-Aug-2026 12:37 5872
R2MinorEndgameFrequency.lean 19-Aug-2026 12:37 4004
R2MinorEndgameGadget.lean 19-Aug-2026 12:37 3889
R2MinorEndgameLanes.lean 19-Aug-2026 12:37 3465
R2MinorEndgameMultiGadget.lean 19-Aug-2026 12:37 4423
R2MinorEstimateInterface.lean 19-Aug-2026 12:37 5716
R2MinorReady.lean 19-Aug-2026 12:37 2155
R2MinorReadyArc.lean 19-Aug-2026 12:37 8652
R2MinorSupportBudget.lean 19-Aug-2026 12:37 3714
R2MinorSupportPipeline.lean 19-Aug-2026 12:37 3267
R2NumericFields.lean 19-Aug-2026 12:37 4435
R2PairPoolFullLower.lean 19-Aug-2026 12:37 4431
R2SelectedQReady.lean 19-Aug-2026 12:37 1767
R2TopAssembly.lean 19-Aug-2026 12:37 67K
R2Weights.lean 19-Aug-2026 12:37 3819
RSPrimeSums.lean 19-Aug-2026 12:37 16K
SBEE.lean 19-Aug-2026 12:37 9349
SBEEAssembly.lean 19-Aug-2026 12:37 21K
SBEEDispersion.lean 19-Aug-2026 12:37 20K
SBEEFingerprint.lean 19-Aug-2026 12:37 57K
SBEEForcing.lean 19-Aug-2026 12:37 135K
SemiprimeInfinity.lean 19-Aug-2026 12:37 2836