OAI/Computability/BinPacking/CookLevin/
2340 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- BoundedExecution.lean 37 declarations
- Bounds.lean 37 declarations
- CellsTokensAlignment.lean 73 declarations
- CircuitEncodingBridge.lean 117 declarations
- CircuitFinish.lean 39 declarations
- CircuitProducer.lean 66 declarations
- ClashMachine.lean 101 declarations
- Completeness.lean 134 declarations
- ConfigIndex.lean 163 declarations
- ForestStage.lean 81 declarations
- InitializationMachine.lean 39 declarations
- InitializationMachineAt.lean 39 declarations
- MachineCircuit.lean 14 declarations
- OutputOrder.lean 166 declarations
- PaddingCellsMachine.lean 123 declarations
- PayloadPresenceMachine.lean 25 declarations
- PolynomialMachine.lean 57 declarations
- PostfixBounds.lean 90 declarations
- ProducerFrontStage.lean 163 declarations
- TermMachine.lean 71 declarations
- TransitionArena.lean 78 declarations
- TransitionIteration.lean 102 declarations
- TransitionIterationTime.lean 116 declarations
- ValidityComposition.lean 51 declarations
- ValidityMachine.lean 63 declarations
- VerifierCircuit.lean 160 declarations
- VerifierFront.lean 135 declarations