OAI/Combinatorics/IndependentSets/Machines/
4493 declarations, 0 contain sorry, 0 declared as axioms; 175 files
Files
- Alphabet.lean 33 declarations
- AmbientRelation.lean 28 declarations
- Basic.lean 73 declarations
- BitValue.lean 33 declarations
- Block.lean 23 declarations
- Command.lean 18 declarations
- ComputeTime.lean 47 declarations
- Copy.lean 20 declarations
- CoreInputTapes.lean 16 declarations
- Correct.lean 11 declarations
- Enumeration.lean 28 declarations
- Execution.lean 9 declarations
- ExprDrop.lean 3 declarations
- ExprTables.lean 12 declarations
- FinalCNFComputation.lean 10 declarations
- FinalCNFHeader.lean 15 declarations
- FinalCNFLoop.lean 10 declarations
- FinalCNFMachine.lean 14 declarations
- FinalCNFOutput.lean 19 declarations
- FinalCNFRow.lean 30 declarations
- FinalCNFRowPlan.lean 18 declarations
- FinalCNFRowTrace.lean 6 declarations
- FinalCNFStream.lean 28 declarations
- FinalLabel.lean 22 declarations
- FramedLen.lean 15 declarations
- GraphCounterFinish.lean 11 declarations
- GraphCounterModel.lean 20 declarations
- GraphCounterPrefix.lean 30 declarations
- GraphCounterStart.lean 11 declarations
- HeaderStates.lean 48 declarations
- Initialization.lean 15 declarations
- Label.lean 34 declarations
- LengthLoop.lean 16 declarations
- Machine.lean 27 declarations
- Machine2.lean 21 declarations
- MachineAffineLookup.lean 12 declarations
- MachineAlphabetTransport.lean 33 declarations
- MachineAppend.lean 11 declarations
- MachineCeilingPower.lean 51 declarations
- MachineCloudCount.lean 58 declarations
- MachineCloudPadding.lean 56 declarations
- MachineCloudPrefix.lean 51 declarations
- MachineCloudRank.lean 22 declarations
- MachineCloudSelect.lean 58 declarations
- MachineCompare.lean 26 declarations
- MachineComposition.lean 12 declarations
- MachineControl.lean 34 declarations
- MachineCopy.lean 18 declarations
- MachineDrain.lean 4 declarations
- MachineDrainMany.lean 31 declarations
- MachineDummyRows.lean 41 declarations
- MachineEmbedding.lean 14 declarations
- MachineExpanderFamilyAffine.lean 13 declarations
- MachineExpanderFamilyBounds.lean 18 declarations
- MachineExpanderFamilyCycle.lean 21 declarations
- MachineExpanderFamilyLoop.lean 14 declarations
- MachineExpanderFamilyProgram.lean 48 declarations
- MachineExpanderFamilyTapes.lean 15 declarations
- MachineExpanderFamilyTransfer.lean 21 declarations
- MachineExpanderRow.lean 6 declarations
- MachineExpanderRowDivision.lean 13 declarations
- MachineExpanderRowEmit.lean 21 declarations
- MachineExpanderRowFrames.lean 103 declarations
- MachineExpanderRowLookup.lean 16 declarations
- MachineExpanderRowProgram.lean 16 declarations
- MachineExpanderTable.lean 20 declarations
- MachineExpanderTableBoundary.lean 25 declarations
- MachineExpanderTableLoop.lean 19 declarations
- MachineExpanderTableProgram.lean 39 declarations
- MachineExpanderTableRows.lean 16 declarations
- MachineFieldProfile.lean 9 declarations
- MachineFiniteAlphabet.lean 12 declarations
- MachineFiniteSequence.lean 22 declarations
- MachineFiniteTable.lean 29 declarations
- MachineFixedBlockMap.lean 22 declarations
- MachineFixedDivMod.lean 33 declarations
- MachineInitialHeaders.lean 16 declarations
- MachineLazyTableRuntime.lean 14 declarations
- MachineLogCounter.lean 45 declarations
- MachineLookup.lean 20 declarations
- MachineLookupCore.lean 16 declarations
- MachineLookupDiscard.lean 7 declarations
- MachineLookupSpec.lean 28 declarations
- MachineOverlayRows.lean 35 declarations
- MachinePaddedExpanderFamilyBounds.lean 13 declarations
- MachinePaddedExpanderFamilyFrames.lean 17 declarations
- MachinePaddedExpanderFamilyProgram.lean 34 declarations
- MachinePaddedOverlay.lean 61 declarations
- MachinePaddedOverlayRuntime.lean 12 declarations
- MachinePaddingBounds.lean 11 declarations
- MachinePaddingCertificate.lean 4 declarations
- MachinePaddingRows.lean 23 declarations
- MachinePortReindex.lean 18 declarations
- MachinePreservingLookupClean.lean 15 declarations
- MachineRegularDummyRow.lean 21 declarations
- MachineRegularExecutionBounds.lean 28 declarations
- MachineRegularFamily.lean 54 declarations
- MachineRegularLift.lean 5 declarations
- MachineRegularMetadata.lean 58 declarations
- MachineRegularOriginalBody.lean 62 declarations
- MachineRegularOriginalClean.lean 20 declarations
- MachineRegularOriginalRow.lean 54 declarations
- MachineRegularOwnerBody.lean 46 declarations
- MachineRegularOwnerBodyBounds.lean 24 declarations
- MachineRegularOwnerCleanup.lean 34 declarations
- MachineRegularOwnerProgram.lean 41 declarations
- MachineRegularTableBounds.lean 10 declarations
- MachineRegularTableRuntime.lean 32 declarations
- MachineRegularTableTrace.lean 11 declarations
- MachineRegularVertexBlock.lean 58 declarations
- MachineRepeat.lean 45 declarations
- MachineReverse.lean 31 declarations
- MachineSequential.lean 28 declarations
- MachineStateEquiv.lean 28 declarations
- MachineStateFrame.lean 24 declarations
- MachineSubroutine.lean 17 declarations
- MachineTableRows.lean 18 declarations
- MachineTransducer.lean 27 declarations
- MachineTransducerCopy.lean 18 declarations
- MachineTransfer.lean 18 declarations
- MachineUnaryAdd.lean 20 declarations
- MachineUnaryAffine.lean 23 declarations
- MachineUnaryCounter.lean 14 declarations
- MachineUnaryEqualityBit.lean 21 declarations
- MachineUnaryLess.lean 30 declarations
- MachineVertexPadding.lean 72 declarations
- OldSelectSteps.lean 30 declarations
- OwnerData.lean 31 declarations
- PCPGapMachine.lean 35 declarations
- PhasePolynomial.lean 8 declarations
- Placement.lean 15 declarations
- PoweringGlobalEnumeration.lean 29 declarations
- PoweringMachineEqualityField.lean 21 declarations
- PoweringMachineField.lean 15 declarations
- PoweringMachineFinish.lean 20 declarations
- PoweringMachineGlobal.lean 29 declarations
- PoweringMachineInitialize.lean 45 declarations
- PoweringMachineLoop.lean 25 declarations
- PoweringMachineOuterLoop.lean 21 declarations
- PoweringMachineRelationField.lean 18 declarations
- PoweringMachineRotor.lean 24 declarations
- PoweringMachineRow.lean 30 declarations
- PoweringMachineRowBody.lean 36 declarations
- PoweringMachineRowHeaders.lean 23 declarations
- PoweringMachineRuntime.lean 16 declarations
- PoweringMachineTapes.lean 50 declarations
- PoweringMachineVertex.lean 37 declarations
- PoweringMachineWord.lean 19 declarations
- PoweringRuntimeBudget.lean 5 declarations
- Printer.lean 28 declarations
- ProfileMachine.lean 26 declarations
- PushWord.lean 27 declarations
- RawInitialMachineBudget.lean 25 declarations
- RawInitialMachineCleanup.lean 8 declarations
- RawInitialMachineFinish.lean 16 declarations
- RawInitialMachineLoop.lean 11 declarations
- RawInitialMachineLoopData.lean 22 declarations
- RawInitialMachineReadClause.lean 10 declarations
- RawInitialMachineRows.lean 19 declarations
- RawInitialMachineStart.lean 14 declarations
- Remaining.lean 39 declarations
- Remaining2.lean 30 declarations
- Represented.lean 42 declarations
- Restrict.lean 17 declarations
- Reverse.lean 26 declarations
- Runtime.lean 5 declarations
- SelectAlphabet.lean 54 declarations
- Structural.lean 25 declarations
- TableIterationFiniteAlphabet.lean 26 declarations
- Tape.lean 26 declarations
- Tape2.lean 87 declarations
- Tape3.lean 33 declarations
- TargetLCMachine.lean 9 declarations
- ValuePolynomial.lean 6 declarations
- VertexLabel.lean 22 declarations