OAI/Computability/DirectedFeedback/Machines/
6509 declarations, 0 contain sorry, 0 declared as axioms; 73 files
Files
- AddressMachineInitial.lean 78 declarations
- ContextClear.lean 77 declarations
- ContextLoad.lean 106 declarations
- DummySelectSteps.lean 64 declarations
- FinalCNFHeader.lean 79 declarations
- FinalCNFStream.lean 94 declarations
- FinalCNFTime.lean 82 declarations
- GraphCounterFinish.lean 98 declarations
- Label.lean 84 declarations
- LoopInit.lean 93 declarations
- MachineAddressHeaders.lean 106 declarations
- MachineAffineLookup.lean 68 declarations
- MachineBinaryLiteralMachine.lean 66 declarations
- MachineBinaryNameMachine.lean 98 declarations
- MachineBinaryRenameMachine.lean 89 declarations
- MachineBinaryTokenMachine.lean 93 declarations
- MachineBinaryTotalInputMachine.lean 86 declarations
- MachineCloudCount.lean 109 declarations
- MachineCloudPadding.lean 115 declarations
- MachineCloudSelect.lean 89 declarations
- MachineDummyRows.lean 101 declarations
- MachineEmbedding.lean 77 declarations
- MachineExpanderFamilyLoop.lean 91 declarations
- MachineExpanderFamilyTapes.lean 70 declarations
- MachineExpanderRow.lean 78 declarations
- MachineExpanderRowDivision.lean 133 declarations
- MachineExpanderRowLookup.lean 145 declarations
- MachineExpanderTableLoop.lean 61 declarations
- MachineLazyTable.lean 63 declarations
- MachineLazyTableRuntime.lean 90 declarations
- MachineLookupSpec.lean 72 declarations
- MachineOutcomeRows.lean 84 declarations
- MachineOverlayTable.lean 134 declarations
- MachinePaddedExpanderFamily.lean 88 declarations
- MachinePaddedOverlay.lean 73 declarations
- MachinePortReindex.lean 74 declarations
- MachinePreservingLookupClean.lean 53 declarations
- MachineProductField.lean 79 declarations
- MachineProductFinish.lean 83 declarations
- MachineProductPower.lean 53 declarations
- MachineProductProgram.lean 81 declarations
- MachineRegularExecutionBounds.lean 87 declarations
- MachineRegularInternalRow.lean 89 declarations
- MachineRegularMetadata.lean 92 declarations
- MachineRegularOriginalBody.lean 153 declarations
- MachineRegularOwnerBody.lean 74 declarations
- MachineRegularTable.lean 126 declarations
- MachineSingleOrbitBridge.lean 80 declarations
- MachineSingleOrbitCodec.lean 107 declarations
- MachineStateEquiv.lean 91 declarations
- MachineSubdivisionInit.lean 87 declarations
- MachineSubdivisionLoop.lean 100 declarations
- MachineSubdivisionRows.lean 108 declarations
- MachineSubstitution.lean 91 declarations
- MachineTableRows.lean 81 declarations
- MachineTemplateAddress.lean 83 declarations
- MachineTransducer.lean 80 declarations
- MachineTuple.lean 104 declarations
- MachineUnaryAdd.lean 92 declarations
- OutputSize.lean 76 declarations
- PoweringMachineLoop.lean 94 declarations
- PoweringMachineOuterLoop.lean 105 declarations
- PoweringMachineRelationField.lean 80 declarations
- PoweringMachineRowBody.lean 92 declarations
- PoweringMachineWord.lean 143 declarations
- PoweringRuntimeBudget.lean 60 declarations
- RawInitialMachineFinish.lean 73 declarations
- RawInitialMachineStart.lean 69 declarations
- RuntimeFinish.lean 80 declarations
- RuntimeSpace.lean 85 declarations
- Tape.lean 92 declarations
- TupleOrder.lean 100 declarations
- VertexLabel.lean 78 declarations