OAI/Combinatorics/RamseyFive/Marking/
389 declarations, 0 contain sorry, 0 declared as axioms; 48 files
Files
- AllHistoryWindowLoss.lean 3 declarations
- AllWindowBounds.lean 3 declarations
- BandEndpoints.lean 6 declarations
- ChooseLevel.lean 18 declarations
- ClassPrepared.lean 3 declarations
- ClassifiedStream.lean 6 declarations
- Collisions.lean 11 declarations
- CompressionStage.lean 3 declarations
- DomainTransport.lean 10 declarations
- GoodWindowVariation.lean 1 declarations
- HighChosenRound.lean 2 declarations
- HighDomainEndpoints.lean 4 declarations
- HighDomainPreRound.lean 1 declarations
- HighFourPreRound.lean 4 declarations
- HighFourStage.lean 3 declarations
- HighLowConflict.lean 11 declarations
- HighNumerics.lean 10 declarations
- HighSampleRetention.lean 13 declarations
- MarkedStreamExtraction.lean 17 declarations
- MarkingClassDomains.lean 14 declarations
- MarkingClasses.lean 6 declarations
- MarkingEndpoints.lean 12 declarations
- OrderedHighConflict.lean 9 declarations
- ReciprocalBands.lean 10 declarations
- ReciprocalDomainCaps.lean 9 declarations
- ReciprocalDropNumerics.lean 5 declarations
- ReciprocalGoodReference.lean 8 declarations
- ReciprocalLevelProducer.lean 13 declarations
- ReciprocalLowConflict.lean 5 declarations
- ReciprocalNumerics.lean 8 declarations
- ReciprocalRoundNumerics.lean 2 declarations
- ReciprocalSharpRound.lean 2 declarations
- ReciprocalStageArithmetic.lean 5 declarations
- ReverseMiss.lean 6 declarations
- ScanChoice.lean 10 declarations
- ScanRecord.lean 9 declarations
- ScanRecordPresent.lean 22 declarations
- State.lean 13 declarations
- SurvivingWindowCode.lean 6 declarations
- TwoScan.lean 26 declarations
- TwoScanContext.lean 11 declarations
- WindowCaps.lean 5 declarations
- WindowCodeDomains.lean 3 declarations
- WindowDeletionCount.lean 13 declarations
- WindowLevels.lean 14 declarations
- WindowReciprocalScores.lean 9 declarations
- WindowSmallFailure.lean 2 declarations
- WindowTargetRetention.lean 3 declarations