OAI/Combinatorics/RamseyFive/Decoding/
242 declarations, 0 contain sorry, 0 declared as axioms; 32 files
Files
- Best.lean 43 declarations
- Beta.lean 9 declarations
- CoordinateMap.lean 7 declarations
- DimensionTwoProcedure.lean 2 declarations
- FinsetEquivPositions.lean 3 declarations
- FreshPublicValidation.lean 7 declarations
- FreshValidation.lean 8 declarations
- HighRoundNumbers.lean 1 declarations
- HighSampleDecoder.lean 5 declarations
- LargeTrainingCell.lean 1 declarations
- LargeValueCount.lean 3 declarations
- MetadataCodec.lean 17 declarations
- MetadataScalars.lean 3 declarations
- Nonpairs.lean 6 declarations
- OffFiberPairs.lean 7 declarations
- PairExpBound.lean 1 declarations
- PairPoints.lean 14 declarations
- PeelMessage.lean 1 declarations
- ProducedCapExclusion.lean 4 declarations
- PublicTraining.lean 11 declarations
- ReverseCap.lean 15 declarations
- ReverseParameters.lean 4 declarations
- RichCenters.lean 4 declarations
- RichCentersCard.lean 3 declarations
- ScalarConditions.lean 3 declarations
- SumDiagonal.lean 3 declarations
- Swap.lean 3 declarations
- Threshold.lean 16 declarations
- Training.lean 24 declarations
- TwoPeelMessage.lean 1 declarations
- UniversalFresh.lean 6 declarations
- UniversalReverse.lean 7 declarations