OAI/Computability/BinPacking/Computation/
4281 declarations, 0 contain sorry, 0 declared as axioms; 46 files
Files
- FinalCNFCleanup.lean 22 declarations
- FinalCNFRowPlan.lean 99 declarations
- FinalCNFRowTrace.lean 66 declarations
- GraphCounterStart.lean 104 declarations
- GraphIterationBounds.lean 31 declarations
- Machine.lean 98 declarations
- MachineCanonicalOutput.lean 85 declarations
- MachineCeilingPower.lean 57 declarations
- MachineCloudPadding.lean 59 declarations
- MachineCloudPrefix.lean 71 declarations
- MachineCloudRank.lean 83 declarations
- MachineCloudSelect.lean 64 declarations
- MachineExpanderFamilyAffine.lean 176 declarations
- MachineExpanderFamilyBoundary.lean 17 declarations
- MachineExpanderRowDivision.lean 108 declarations
- MachineExpanderRowEmit.lean 21 declarations
- MachineExpanderTable.lean 186 declarations
- MachineExpanderTableReverse.lean 8 declarations
- MachineFiniteAlphabet.lean 121 declarations
- MachineFiniteTable.lean 9 declarations
- MachineHorner.lean 120 declarations
- MachineInitialHeaders.lean 16 declarations
- MachineLazyRows.lean 119 declarations
- MachineLazyTableRuntime.lean 73 declarations
- MachineOverlayRows.lean 35 declarations
- MachineOverlayTable.lean 134 declarations
- MachinePaddedExpanderFamily.lean 112 declarations
- MachinePaddedOverlayRuntime.lean 69 declarations
- MachinePortReindex.lean 51 declarations
- MachineRegularDummyRow.lean 137 declarations
- MachineRegularExecutionBounds.lean 73 declarations
- MachineRegularInternalRow.lean 145 declarations
- MachineRegularOwnerBodyBounds.lean 70 declarations
- MachineRegularOwnerProgram.lean 212 declarations
- MachineRegularTable.lean 211 declarations
- MachineRegularTableRuntime.lean 27 declarations
- MachineRegularVertexBlock.lean 78 declarations
- MachineUnaryEqualityBit.lean 85 declarations
- MachineUnaryLessAt.lean 118 declarations
- MachineVertexPadding.lean 138 declarations
- PoweringGlobalEnumeration.lean 197 declarations
- PoweringMachineRow.lean 75 declarations
- PoweringMachineRowBody.lean 117 declarations
- PoweringMachineRuntime.lean 161 declarations
- PoweringMasterState.lean 119 declarations
- TableIterationFiniteAlphabet.lean 104 declarations