OAI/Computability/MinUncut/PCP/
3841 declarations, 0 contain sorry, 0 declared as axioms; 72 files
Files
- AddressArithmetic.lean 45 declarations
- Bounds.lean 25 declarations
- CayleySampling.lean 84 declarations
- CayleySpectral.lean 103 declarations
- ClauseLookup.lean 47 declarations
- ClauseVerifier.lean 86 declarations
- CompletedSampling.lean 48 declarations
- Completion.lean 28 declarations
- ContextClear.lean 42 declarations
- ContextLoad.lean 96 declarations
- ContextPrepare.lean 62 declarations
- DegreeReplacement.lean 101 declarations
- DescriptorEmission.lean 58 declarations
- DistributionMaps.lean 24 declarations
- EquationEmit.lean 19 declarations
- ExpanderFamily.lean 129 declarations
- ExpanderRowControl.lean 48 declarations
- ExpanderTableEnumeration.lean 31 declarations
- FieldArray.lean 27 declarations
- FinalBooleanVerifier.lean 35 declarations
- Folding.lean 110 declarations
- FourierResponse.lean 11 declarations
- Game.lean 75 declarations
- Gap.lean 76 declarations
- Generator.lean 24 declarations
- GraphGap.lean 78 declarations
- GraphTableComplexity.lean 49 declarations
- GraphTables.lean 134 declarations
- Hastad.lean 16 declarations
- HeaderAccumulate.lean 83 declarations
- HeaderCounts.lean 107 declarations
- HonestTest.lean 39 declarations
- InitialGraph.lean 42 declarations
- LoopOrder.lean 70 declarations
- Occurrences.lean 74 declarations
- Overlap.lean 51 declarations
- Overlay.lean 72 declarations
- Parity.lean 5 declarations
- PortTableLookup.lean 10 declarations
- PoweringFinalConstants.lean 88 declarations
- PoweringOpinionTables.lean 116 declarations
- PoweringReturn.lean 63 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
- PreprocessingRegularTables.lean 110 declarations
- PreprocessingStageMaps.lean 7 declarations
- PreprocessingTableSpectral.lean 105 declarations
- ProfileBridge.lean 61 declarations
- ProfileCorrection.lean 15 declarations
- RawInitialPredicate.lean 25 declarations
- RawInitialTables.lean 192 declarations
- RoundComputation.lean 9 declarations
- SelectedInformation.lean 63 declarations
- SelectedLikelihood.lean 47 declarations
- SelectedMarginal.lean 28 declarations
- SelectionSequence.lean 23 declarations
- SpectralCut.lean 109 declarations
- TableIteration.lean 63 declarations
- TupleBody.lean 59 declarations
- TupleBound.lean 43 declarations
- UniformRestriction.lean 15 declarations
- Walsh.lean 17 declarations