OAI/Computability/MaxCut/PCP/
4083 declarations, 0 contain sorry, 0 declared as axioms; 78 files
Files
- AnalyticCheeger.lean 29 declarations
- Bounds.lean 25 declarations
- CayleySampling.lean 84 declarations
- CayleySpectral.lean 103 declarations
- ClauseVerifier.lean 44 declarations
- CompletedSampling.lean 31 declarations
- ContextClear.lean 77 declarations
- ContextLoad.lean 63 declarations
- ContextPrepare.lean 88 declarations
- DescriptorEmission.lean 58 declarations
- DistributionMaps.lean 5 declarations
- EquationEmit.lean 19 declarations
- ExpanderFamily.lean 129 declarations
- ExpanderRowControl.lean 48 declarations
- ExpanderTableEnumeration.lean 31 declarations
- FieldArray.lean 74 declarations
- FinalBooleanVerifier.lean 35 declarations
- Folding.lean 110 declarations
- FourierResponse.lean 11 declarations
- Game.lean 71 declarations
- Gap.lean 84 declarations
- Generator.lean 127 declarations
- GraphGap.lean 78 declarations
- GraphTableComplexity.lean 59 declarations
- Hastad.lean 16 declarations
- HeaderAccumulate.lean 83 declarations
- HeaderCounts.lean 107 declarations
- HonestTest.lean 81 declarations
- InitialGraph.lean 42 declarations
- KernelIteration.lean 39 declarations
- LocalEquation.lean 36 declarations
- LoopOrder.lean 60 declarations
- MatrixParity.lean 17 declarations
- MatrixParityRow.lean 14 declarations
- Occurrences.lean 117 declarations
- Overlap.lean 50 declarations
- Overlay.lean 72 declarations
- Parameters.lean 9 declarations
- Parity.lean 9 declarations
- ParityIndependence.lean 12 declarations
- PortTableLookup.lean 10 declarations
- PortTables.lean 132 declarations
- PoweringDecoding.lean 83 declarations
- PoweringOpinionTables.lean 116 declarations
- PoweringRowData.lean 61 declarations
- PoweringRowHeaderSemantics.lean 9 declarations
- PoweringTableLayout.lean 19 declarations
- PoweringTableSemantics.lean 82 declarations
- PreprocessingFamilyBridge.lean 7 declarations
- PreprocessingInternalRows.lean 25 declarations
- PreprocessingLazyWords.lean 22 declarations
- PreprocessingOverlayWords.lean 21 declarations
- PreprocessingPaddingOffsets.lean 8 declarations
- PreprocessingPaddingWords.lean 41 declarations
- PreprocessingRegularBounds.lean 15 declarations
- PreprocessingRegularLoopWords.lean 9 declarations
- PreprocessingRegularSoundness.lean 98 declarations
- PreprocessingRegularTables.lean 110 declarations
- PreprocessingStageMaps.lean 7 declarations
- Product.lean 14 declarations
- ProductCollisionBounds.lean 46 declarations
- ProfileBridge.lean 61 declarations
- ProfileCorrection.lean 29 declarations
- RawInitialPredicate.lean 25 declarations
- RawInitialTables.lean 192 declarations
- RepetitionUpper.lean 21 declarations
- RoundComputation.lean 9 declarations
- RoundGap.lean 78 declarations
- Rounding.lean 53 declarations
- SelectedInformation.lean 69 declarations
- SelectedJointGame.lean 52 declarations
- SelectedProfileBudget.lean 54 declarations
- SelectionSequence.lean 17 declarations
- SpectralCut.lean 96 declarations
- TableIteration.lean 63 declarations
- TupleBody.lean 59 declarations
- UniformRestriction.lean 15 declarations
- Variation.lean 8 declarations