OAI/Computability/MinUncut/Machines/
5245 declarations, 0 contain sorry, 0 declared as axioms; 92 files
Files
- Addresses.lean 96 declarations
- Alphabet.lean 106 declarations
- AlphabetBudget.lean 8 declarations
- AlphabetGraph.lean 125 declarations
- AlphabetReduction.lean 6 declarations
- AlphabetRetraction.lean 12 declarations
- AlphabetSize.lean 4 declarations
- ArenaMachineProgram.lean 13 declarations
- CodeFiniteMachine.lean 19 declarations
- Driver.lean 74 declarations
- FiberGraphMachine.lean 4 declarations
- FiniteAlphabetBounds.lean 11 declarations
- FramedWordDecoder.lean 16 declarations
- GraphCoreMachine.lean 31 declarations
- GraphRenderMachine.lean 15 declarations
- Input.lean 88 declarations
- LoopInitialization.lean 79 declarations
- Machine.lean 27 declarations
- MachineBinaryFormula.lean 63 declarations
- MachineBinaryLiteralMachine.lean 66 declarations
- MachineBinaryNameMachine.lean 84 declarations
- MachineBinaryOccurrenceRename.lean 17 declarations
- MachineBinaryParsing.lean 105 declarations
- MachineBinaryRenameMachine.lean 31 declarations
- MachineCanonicalOutput.lean 26 declarations
- MachineCloudCount.lean 118 declarations
- MachineCloudPadding.lean 59 declarations
- MachineCloudPrefix.lean 77 declarations
- MachineCloudSelect.lean 64 declarations
- MachineCompare.lean 66 declarations
- MachineDrain.lean 4 declarations
- MachineDummyRows.lean 88 declarations
- MachineExpanderFamilyAffine.lean 76 declarations
- MachineExpanderFamilyCycle.lean 86 declarations
- MachineExpanderRowFrames.lean 134 declarations
- MachineExpanderTableProgram.lean 171 declarations
- MachineExpanderTableRows.lean 73 declarations
- MachineFiniteAlphabet.lean 90 declarations
- MachineFiniteSequence.lean 39 declarations
- MachineFiniteTable.lean 9 declarations
- MachineFixedDivMod.lean 65 declarations
- MachineInitialHeaders.lean 63 declarations
- MachineLazyRows.lean 56 declarations
- MachineLazyTable.lean 66 declarations
- MachineLazyTableRuntime.lean 59 declarations
- MachineLookup.lean 94 declarations
- MachineOverlayRows.lean 35 declarations
- MachineOverlayTable.lean 134 declarations
- MachinePaddedExpanderFamilyBounds.lean 97 declarations
- MachinePaddedOverlay.lean 73 declarations
- MachinePortReindex.lean 18 declarations
- MachinePreservingLookup.lean 22 declarations
- MachineRegisterEmit.lean 14 declarations
- MachineRegularLift.lean 111 declarations
- MachineRegularMetadata.lean 61 declarations
- MachineRegularOriginalBody.lean 96 declarations
- MachineRegularOwnerProgram.lean 95 declarations
- MachineRegularTableRuntime.lean 125 declarations
- MachineRegularTableTrace.lean 72 declarations
- MachineRegularVertexBlock.lean 58 declarations
- MachineSubroutine.lean 31 declarations
- MachineSubstitution.lean 86 declarations
- MachineTableIteration.lean 14 declarations
- MachineTransducer.lean 75 declarations
- MachineTupleOdometer.lean 69 declarations
- MachineUnaryAdd.lean 92 declarations
- MachineUnaryCounter.lean 71 declarations
- OuterAlphabets.lean 20 declarations
- PCPIterationMachine.lean 22 declarations
- PoweringMachineField.lean 29 declarations
- PoweringMachineGlobal.lean 29 declarations
- PoweringMachineRelation.lean 48 declarations
- PoweringMachineRotor.lean 138 declarations
- PoweringMachineRow.lean 81 declarations
- PoweringMachineRowHeaders.lean 59 declarations
- PoweringMachineRuntime.lean 16 declarations
- PoweringMachineVertex.lean 78 declarations
- PoweringRuntimeBudget.lean 5 declarations
- PreprocessingMachineBounds.lean 13 declarations
- RawInitialMachineBudget.lean 12 declarations
- RawInitialMachineFinish.lean 72 declarations
- RawInitialMachinePhases.lean 46 declarations
- Relations.lean 73 declarations
- Runtime.lean 72 declarations
- RuntimeFinish.lean 15 declarations
- RuntimeModel.lean 81 declarations
- RuntimeModel2.lean 92 declarations
- RuntimeSpace.lean 13 declarations
- SelectorMachine.lean 59 declarations
- UnboundedGraphMachine.lean 5 declarations
- UniformAlphabet.lean 15 declarations
- UniformDemandAlphabet.lean 20 declarations