OAI/Computability/UniqueGames/Machines/
5687 declarations, 0 contain sorry, 0 declared as axioms; 144 files
Files
- FinalCNFLoopLemmas.lean 29 declarations
- FinalCNFMachineLemmas.lean 82 declarations
- FinalCNFOutputLemmas.lean 22 declarations
- FinalCNFPattern.lean 23 declarations
- FinalCNFRowPlanLemmas.lean 54 declarations
- FinalCNFStream.lean 28 declarations
- FinalCNFTableAdapter.lean 28 declarations
- FinalCNFTemplate.lean 30 declarations
- GraphCounterFinish.lean 11 declarations
- GraphCounterModel.lean 26 declarations
- GraphCounterStartLemmas.lean 78 declarations
- GraphIterationBoundsLemmas.lean 26 declarations
- MachineAppendAt.lean 11 declarations
- MachineBinaryFormulaLemmas.lean 79 declarations
- MachineBinaryHeaderMachine.lean 26 declarations
- MachineBinaryInputReductionLemmas.lean 29 declarations
- MachineBinaryLiteralMachine.lean 20 declarations
- MachineBinaryNameCompare.lean 18 declarations
- MachineBinaryNameMachine.lean 29 declarations
- MachineBinaryNameSearch.lean 37 declarations
- MachineBinaryParsingLemmas.lean 24 declarations
- MachineBinaryRenameLoop.lean 46 declarations
- MachineBinaryRenameMachine.lean 31 declarations
- MachineBinaryRenameWords.lean 22 declarations
- MachineBinaryTokenMachine.lean 45 declarations
- MachineBinaryTotalInputMachine.lean 37 declarations
- MachineBinaryValidatorMachine.lean 40 declarations
- MachineCanonicalOutputLemmas.lean 88 declarations
- MachineCeilingPower.lean 57 declarations
- MachineClone100.lean 13 declarations
- MachineClone100Certified.lean 4 declarations
- MachineClone100Headers.lean 16 declarations
- MachineClone100Loop.lean 25 declarations
- MachineClone100Run.lean 16 declarations
- MachineClone100TableLemmas.lean 78 declarations
- MachineClone100Triples.lean 16 declarations
- MachineCloudCount.lean 61 declarations
- MachineCloudPadding.lean 59 declarations
- MachineCloudPrefix.lean 51 declarations
- MachineCloudRankLemmas.lean 86 declarations
- MachineCompare.lean 26 declarations
- MachineCompositionLemmas.lean 103 declarations
- MachineControlLemmas.lean 33 declarations
- MachineCopy.lean 18 declarations
- MachineDrain.lean 4 declarations
- MachineDrainManyLemmas.lean 66 declarations
- MachineExpanderFamily.lean 7 declarations
- MachineExpanderFamilyBoundsLemmas.lean 34 declarations
- MachineExpanderFamilyLoop.lean 7 declarations
- MachineExpanderFamilyTapes.lean 15 declarations
- MachineExpanderFamilyTransferLemmas.lean 76 declarations
- MachineExpanderRow.lean 6 declarations
- MachineExpanderRowCleanup.lean 23 declarations
- MachineExpanderRowDivision.lean 13 declarations
- MachineExpanderRowEmitLemmas.lean 40 declarations
- MachineExpanderRowFrames.lean 103 declarations
- MachineExpanderTable.lean 8 declarations
- MachineExpanderTableLoop.lean 11 declarations
- MachineExpanderTableProgramLemmas.lean 102 declarations
- MachineExpanderTableReverse.lean 8 declarations
- MachineExpanderTableRows.lean 16 declarations
- MachineFiniteAlphabet.lean 9 declarations
- MachineFiniteTable.lean 9 declarations
- MachineFixedCopiesLemmas.lean 44 declarations
- MachineFixedDivMod.lean 33 declarations
- MachineInitialHeaders.lean 16 declarations
- MachineLazyCodec.lean 4 declarations
- MachineLazyRows.lean 56 declarations
- MachineLazyTable.lean 66 declarations
- MachineLazyTableRuntime.lean 7 declarations
- MachineLemmas.lean 79 declarations
- MachineLogCounter.lean 45 declarations
- MachineLookupCore.lean 19 declarations
- MachineLookupDiscard.lean 7 declarations
- MachineLookupLemmas.lean 58 declarations
- MachineOverlayRows.lean 35 declarations
- MachineOverlayTable.lean 134 declarations
- MachinePaddedExpanderFamilyBoundsLemmas.lean 64 declarations
- MachinePaddedOverlay.lean 61 declarations
- MachinePaddedOverlayRuntimeLemmas.lean 20 declarations
- MachinePaddingRowsLemmas.lean 39 declarations
- MachinePaddingTable.lean 2 declarations
- MachinePortReindex.lean 18 declarations
- MachineProductFieldLemmas.lean 116 declarations
- MachineProductGatherBoundsLemmas.lean 17 declarations
- MachineProductHeadersFrameLemmas.lean 57 declarations
- MachineProductProgram.lean 27 declarations
- MachineProductRuntime.lean 13 declarations
- MachineProductSeed.lean 12 declarations
- MachineRadixStepLemmas.lean 72 declarations
- MachineRegularDummyRow.lean 21 declarations
- MachineRegularFamily.lean 54 declarations
- MachineRegularInternalRow.lean 145 declarations
- MachineRegularLift.lean 5 declarations
- MachineRegularMetadata.lean 61 declarations
- MachineRegularOriginalBody.lean 62 declarations
- MachineRegularOriginalBodyBounds.lean 16 declarations
- MachineRegularOriginalClean.lean 20 declarations
- MachineRegularOriginalRow.lean 63 declarations
- MachineRegularOwnerBody.lean 46 declarations
- MachineRegularOwnerBodyBounds.lean 24 declarations
- MachineRegularOwnerCleanup.lean 34 declarations
- MachineRegularOwnerProgram.lean 41 declarations
- MachineRegularTable.lean 211 declarations
- MachineRegularTableBoundsLemmas.lean 16 declarations
- MachineRegularTableTrace.lean 11 declarations
- MachineRegularVertexBlock.lean 58 declarations
- MachineRepeat.lean 51 declarations
- MachineSingleOrbitBridgeLemmas.lean 13 declarations
- MachineSingleOrbitFinishLemmas.lean 14 declarations
- MachineSingleOrbitProgramLemmas.lean 53 declarations
- MachineSubdivisionBody.lean 17 declarations
- MachineSubdivisionBodySpecLemmas.lean 81 declarations
- MachineSubdivisionDynamicRowsLemmas.lean 86 declarations
- MachineSubdivisionTableRead.lean 16 declarations
- MachineSubroutineLemmas.lean 105 declarations
- MachineTableSplit.lean 28 declarations
- MachineTransducerCopy.lean 18 declarations
- MachineTranslationTable.lean 21 declarations
- MachineTupleOdometer.lean 69 declarations
- MachineUnaryAddAt.lean 20 declarations
- MachineUnaryAffineAt.lean 26 declarations
- MachineUnaryEqualityBit.lean 24 declarations
- MachineUnaryLessAtLemmas.lean 52 declarations
- MachineUnaryMultiply.lean 30 declarations
- MachineUniformCopyOrder.lean 9 declarations
- MachineUniformRounding.lean 13 declarations
- MachineUniformRun.lean 17 declarations
- MachineVertexPadding.lean 75 declarations
- PoweringGlobalEnumerationLemmas.lean 90 declarations
- PoweringInitializeFrame.lean 19 declarations
- PoweringMachineEqualityField.lean 21 declarations
- PoweringMachineFinish.lean 20 declarations
- PoweringMachineInitialize.lean 45 declarations
- PoweringMachineLoop.lean 41 declarations
- PoweringMachineOuterLoopLemmas.lean 66 declarations
- PoweringMachineRelationLemmas.lean 102 declarations
- PoweringMachineRow.lean 40 declarations
- PoweringMachineRowBody.lean 36 declarations
- PoweringMachineVertex.lean 37 declarations
- PoweringMasterState.lean 25 declarations
- PoweringPlanBudget.lean 8 declarations
- PoweringPolynomialBudgetLemmas.lean 39 declarations
- Runtime.lean 13 declarations