OAI/Combinatorics/KMedianRecovery/Machines/
961 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- ActionMachine.lean 17 declarations
- BisectionMachine.lean 22 declarations
- CappedFold.lean 6 declarations
- CorrectionSize.lean 9 declarations
- CoupledLoop.lean 2 declarations
- CoupledPrimitives.lean 17 declarations
- DeleteFold.lean 33 declarations
- DeleteSize.lean 25 declarations
- FiniteMachine.lean 49 declarations
- FirstSize.lean 25 declarations
- GridMachine.lean 52 declarations
- InitialLoop.lean 53 declarations
- LengthQuery.lean 61 declarations
- LoopInput.lean 36 declarations
- LoopInput2.lean 33 declarations
- LoopInvariant.lean 10 declarations
- LoopMachine.lean 15 declarations
- LoopSize.lean 14 declarations
- MatchFold.lean 28 declarations
- MatchSize.lean 29 declarations
- MenuMachine.lean 33 declarations
- MergeResources.lean 12 declarations
- NormalizationMachine.lean 18 declarations
- Program.lean 11 declarations
- Program2.lean 14 declarations
- ProjectionMachine.lean 9 declarations
- RecoveryOptionMachine.lean 7 declarations
- RecoveryTape.lean 10 declarations
- RefineMachine.lean 22 declarations
- ResolveMachine.lean 37 declarations
- ResolveResources.lean 4 declarations
- ScanMachine.lean 39 declarations
- SensitiveMachine.lean 35 declarations
- SizeBitLength.lean 2 declarations
- SliceFold.lean 45 declarations
- StartResources.lean 19 declarations
- StepMachine.lean 67 declarations
- SubProgram.lean 25 declarations
- SuffixMachine.lean 16 declarations