FilesExpand file tree

main

/

Research

/

Copy path

Directory actions

More options

More options

Directory actions

More options

More options

Latest commit

 

History

History

History

main

/

Research

/

Copy path

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
CoefficientDescent		CoefficientDescent
DescentAtlas		DescentAtlas
DescentIntervals		DescentIntervals
PassageAtlas		PassageAtlas
StoppingAtlas		StoppingAtlas
BarrierKernel.md		BarrierKernel.md
BeattyBlockPotential.md		BeattyBlockPotential.md
BeattyBlockPotentialAxioms.txt		BeattyBlockPotentialAxioms.txt
BeattyBlockPotentialBuild.txt		BeattyBlockPotentialBuild.txt
BeattyBlockPotentialIntegrity.txt		BeattyBlockPotentialIntegrity.txt
BeattyBlockPotentialProbe.json		BeattyBlockPotentialProbe.json
BeattyBlockPotentialVerification.json		BeattyBlockPotentialVerification.json
BoundaryMoments.md		BoundaryMoments.md
BoundaryMomentsAudit.txt		BoundaryMomentsAudit.txt
BoundaryMomentsBuild.txt		BoundaryMomentsBuild.txt
BoundaryMomentsProbe.json		BoundaryMomentsProbe.json
BoundaryMomentsVerification.txt		BoundaryMomentsVerification.txt
BoundedHeightWitness.md		BoundedHeightWitness.md
BoundedHeightWitnessAxioms.txt		BoundedHeightWitnessAxioms.txt
BoundedHeightWitnessProbe.json		BoundedHeightWitnessProbe.json
CoefficientSuffix.md		CoefficientSuffix.md
CoefficientSuffixAudit.txt		CoefficientSuffixAudit.txt
CoefficientSuffixBuild.txt		CoefficientSuffixBuild.txt
ComparableHeightAxioms.txt		ComparableHeightAxioms.txt
ComparableHeightObstruction.md		ComparableHeightObstruction.md
ComparableHeightProbe.json		ComparableHeightProbe.json
CycleDescent.lean		CycleDescent.lean
CycleDescentBridge.md		CycleDescentBridge.md
CycleDescentBridgeAxioms.txt		CycleDescentBridgeAxioms.txt
CycleInverseSpread.md		CycleInverseSpread.md
CycleInverseSpreadAxioms.txt		CycleInverseSpreadAxioms.txt
CycleInverseSpreadProbe.json		CycleInverseSpreadProbe.json
DensityCompatibilityAxioms.txt		DensityCompatibilityAxioms.txt
DensityCompatibilityModel.md		DensityCompatibilityModel.md
DensityCompatibilityProbe.json		DensityCompatibilityProbe.json
DensityCountermodel.md		DensityCountermodel.md
DensityCountermodelAxioms.txt		DensityCountermodelAxioms.txt
DensityCountermodelProbe.json		DensityCountermodelProbe.json
DensityPowerAxioms.txt		DensityPowerAxioms.txt
DensityPowerCountermodel.md		DensityPowerCountermodel.md
DensityPowerProbe.json		DensityPowerProbe.json
DescentRounds.md		DescentRounds.md
DescentRoundsAxioms.txt		DescentRoundsAxioms.txt
DescentRoundsProbe.json		DescentRoundsProbe.json
ElevenHalvesClock.md		ElevenHalvesClock.md
FiniteOrbitCertificates.md		FiniteOrbitCertificates.md
FiniteOrbitCertificatesAxioms.txt		FiniteOrbitCertificatesAxioms.txt
FiniteOrbitCertificatesProbe.json		FiniteOrbitCertificatesProbe.json
FirstDescentTransport.md		FirstDescentTransport.md
FirstDescentTransportAxioms.txt		FirstDescentTransportAxioms.txt
FirstDescentTransportProbe.json		FirstDescentTransportProbe.json
FirstLight1024.md		FirstLight1024.md
FirstLight1024Axioms.txt		FirstLight1024Axioms.txt
FirstLight1024Probe.json		FirstLight1024Probe.json
FirstLight256Probe.json		FirstLight256Probe.json
FirstLight512Probe.json		FirstLight512Probe.json
FirstLightCertificates.md		FirstLightCertificates.md
FirstLightCertificatesAxioms.txt		FirstLightCertificatesAxioms.txt
FirstLightCounting.md		FirstLightCounting.md
FirstLightCountingAxioms.txt		FirstLightCountingAxioms.txt
FirstLightDescentAttempt.md		FirstLightDescentAttempt.md
FirstLightDescentAxioms.txt		FirstLightDescentAxioms.txt
FirstLightEventualProbe.json		FirstLightEventualProbe.json
FirstLightGapCheck.md		FirstLightGapCheck.md
FirstLightGapCheckAxioms.txt		FirstLightGapCheckAxioms.txt
FirstLightPeriodicityProbe.json		FirstLightPeriodicityProbe.json
FirstLightProbe.json		FirstLightProbe.json
FullConjectureAttempt.md		FullConjectureAttempt.md
HarmonicDensityAxioms.txt		HarmonicDensityAxioms.txt
HarmonicDensityFoundations.md		HarmonicDensityFoundations.md
HeavySuffix.md		HeavySuffix.md
InverseInterval.md		InverseInterval.md
InverseIntervalAxioms.txt		InverseIntervalAxioms.txt
InverseIntervalCompleteAxioms.txt		InverseIntervalCompleteAxioms.txt
InverseIntervalEarlyStopAxioms.txt		InverseIntervalEarlyStopAxioms.txt
InverseIntervalLayersAxioms.txt		InverseIntervalLayersAxioms.txt
InverseIntervalProbe.json		InverseIntervalProbe.json
InverseSpreadBoundaryAxioms.txt		InverseSpreadBoundaryAxioms.txt
KorecCertified.md		KorecCertified.md
KorecCertifiedAxioms.txt		KorecCertifiedAxioms.txt
KorecCertifiedProbe.json		KorecCertifiedProbe.json
KorecFourFifths.md		KorecFourFifths.md
KorecFourFifthsAxioms.txt		KorecFourFifthsAxioms.txt
KorecFourFifthsProbe.json		KorecFourFifthsProbe.json
KorecLogWindow.md		KorecLogWindow.md
KorecLogWindowAxioms.txt		KorecLogWindowAxioms.txt
KorecLogWindowProbe.json		KorecLogWindowProbe.json
KorecPowerProbe.json		KorecPowerProbe.json
KorecStatementAxioms.txt		KorecStatementAxioms.txt
KorecStatementRepair.md		KorecStatementRepair.md
LocalOrbitCorridor.md		LocalOrbitCorridor.md
LocalOrbitCorridorAxioms.txt		LocalOrbitCorridorAxioms.txt
LocalOrbitCorridorProbe.json		LocalOrbitCorridorProbe.json
LogBlockRecordAttempt.md		LogBlockRecordAttempt.md
LogBlockRecordAxioms.txt		LogBlockRecordAxioms.txt
LogBlockRecordProbe.json		LogBlockRecordProbe.json
LogHeightAxioms.txt		LogHeightAxioms.txt
LogHeightProbe.json		LogHeightProbe.json
LogarithmicHeightObstruction.md		LogarithmicHeightObstruction.md
MinimumTransportAxioms.txt		MinimumTransportAxioms.txt
View all files