OAI/Computability/VertexCover/PCP/
2151 declarations, 0 contain sorry, 0 declared as axioms; 94 files
Files
- AlphabetGraph.lean 38 declarations
- AlphabetGraphBounds.lean 14 declarations
- AlphabetReduction.lean 6 declarations
- AlphabetRetraction.lean 12 declarations
- AlphabetTableBounds.lean 8 declarations
- AlphabetTableEnumeration.lean 72 declarations
- AlphabetTableQueries.lean 15 declarations
- AlphabetTableRelations.lean 25 declarations
- AlphabetTableTable.lean 26 declarations
- AmplificationIteration.lean 11 declarations
- AmplificationRound.lean 17 declarations
- AssignmentTester.lean 68 declarations
- BinaryCoordinates.lean 12 declarations
- CayleySampling.lean 12 declarations
- CayleySpectral.lean 26 declarations
- CayleyTailCount.lean 24 declarations
- ClauseVerifier.lean 44 declarations
- CloudPadding.lean 16 declarations
- CloudRounding.lean 31 declarations
- CodeComposition.lean 25 declarations
- ConstraintGraph.lean 12 declarations
- DegreeReplacement.lean 33 declarations
- ExpanderFamily.lean 24 declarations
- ExpanderTables.lean 28 declarations
- Expanders.lean 19 declarations
- FinalBooleanVerifier.lean 35 declarations
- FinalConstants.lean 17 declarations
- FinalTableFormula.lean 12 declarations
- FiniteGraph.lean 29 declarations
- GenericGraphTables.lean 67 declarations
- GraphGap.lean 23 declarations
- GraphTableComplexity.lean 10 declarations
- GraphTables.lean 67 declarations
- GraphTransport.lean 5 declarations
- InitialGraph.lean 42 declarations
- LazyConstraint.lean 13 declarations
- LazySmoothing.lean 27 declarations
- LazySpectral.lean 4 declarations
- NameCompaction.lean 38 declarations
- Overlay.lean 22 declarations
- PCPIteration.lean 36 declarations
- PortTables.lean 31 declarations
- PoweringAddresses.lean 7 declarations
- PoweringCounting.lean 12 declarations
- PoweringDecoding.lean 7 declarations
- PoweringEnumeration.lean 39 declarations
- PoweringFinalConstants.lean 10 declarations
- PoweringGap.lean 2 declarations
- PoweringLabels.lean 20 declarations
- PoweringLazy.lean 10 declarations
- PoweringMoment.lean 13 declarations
- PoweringMomentBound.lean 5 declarations
- PoweringNumeric.lean 2 declarations
- PoweringOpinionTables.lean 24 declarations
- PoweringOpinions.lean 10 declarations
- PoweringPortReindex.lean 27 declarations
- PoweringReach.lean 15 declarations
- PoweringReturn.lean 17 declarations
- PoweringSoundness.lean 8 declarations
- PoweringTableSemantics.lean 17 declarations
- PoweringTables.lean 13 declarations
- PoweringTest.lean 21 declarations
- PoweringWalks.lean 36 declarations
- PoweringWitness.lean 5 declarations
- Preprocessing.lean 33 declarations
- PreprocessingCloudIndex.lean 37 declarations
- PreprocessingGuarantees.lean 11 declarations
- PreprocessingLevels.lean 24 declarations
- PreprocessingOverlayTables.lean 24 declarations
- PreprocessingPaddingTables.lean 35 declarations
- PreprocessingRegularSoundness.lean 13 declarations
- PreprocessingRegularTables.lean 43 declarations
- PreprocessingTableSpectral.lean 8 declarations
- PreprocessingTables.lean 21 declarations
- QueryIncidence.lean 40 declarations
- RawInitialMachineBudget.lean 12 declarations
- RawInitialTables.lean 18 declarations
- Regularization.lean 26 declarations
- RepetitionUpper.lean 21 declarations
- RoundGap.lean 4 declarations
- RoundSize.lean 21 declarations
- RoundTableGap.lean 3 declarations
- RoundTables.lean 31 declarations
- SourceParameters.lean 12 declarations
- SpectralCut.lean 12 declarations
- SpectralReturn.lean 48 declarations
- TableGapReduction.lean 7 declarations
- TableIteration.lean 26 declarations
- Target.lean 19 declarations
- UniformRestriction.lean 15 declarations
- VerifierToCNF.lean 86 declarations
- VertexPadding.lean 32 declarations
- ZigzagGraphs.lean 24 declarations
- ZigzagSpectral.lean 29 declarations