OAI/Computability/BinPacking/PCP/
3106 declarations, 0 contain sorry, 0 declared as axioms; 49 files
Files
- AlphabetRetraction.lean 94 declarations
- BinaryFormula.lean 205 declarations
- BinaryOccurrenceRename.lean 17 declarations
- Cleanup.lean 18 declarations
- CloudRounding.lean 146 declarations
- CompareLoop.lean 52 declarations
- Emitter.lean 40 declarations
- FinalBooleanVerifier.lean 35 declarations
- FinalConstants.lean 133 declarations
- FiniteGraph.lean 52 declarations
- GraphTransport.lean 5 declarations
- Initialization.lean 69 declarations
- Lookup.lean 77 declarations
- MachineRawInitialTable.lean 6 declarations
- NormalizationEmitMachine.lean 167 declarations
- NormalizationLoopMachine.lean 42 declarations
- NormalizationMachine.lean 29 declarations
- NormalizationReadMachine.lean 35 declarations
- OccurrenceGame.lean 27 declarations
- PCPIteration.lean 103 declarations
- PCPSource.lean 83 declarations
- PCPSourceHardness.lean 113 declarations
- PoweringEnumeration.lean 39 declarations
- PoweringFieldPlan.lean 61 declarations
- PoweringFinalConstants.lean 49 declarations
- PoweringMomentBound.lean 50 declarations
- PoweringRowHeaderSemantics.lean 9 declarations
- PoweringTableLayout.lean 19 declarations
- PoweringTableSemantics.lean 112 declarations
- PreprocessingFamilyBridge.lean 7 declarations
- PreprocessingGuarantees.lean 39 declarations
- PreprocessingLazyWords.lean 81 declarations
- PreprocessingMachineBounds.lean 46 declarations
- PreprocessingOverlayWords.lean 21 declarations
- PreprocessingRegularBounds.lean 49 declarations
- PreprocessingRegularSoundness.lean 159 declarations
- Queries.lean 167 declarations
- RawInitialMachineBody.lean 4 declarations
- RawInitialMachineBudget.lean 110 declarations
- RawInitialMachineCleanup.lean 4 declarations
- RawInitialMachineFinish.lean 16 declarations
- RawInitialMachineLoop.lean 5 declarations
- RawInitialMachineLoopData.lean 68 declarations
- RawInitialMachineReadClause.lean 10 declarations
- RawInitialMachineRows.lean 19 declarations
- RawInitialPredicate.lean 151 declarations
- RoundTableGap.lean 216 declarations
- SourceAmplification.lean 23 declarations
- SourceEncoding.lean 24 declarations