OAI/Computability/MatchingCount/
984 declarations, 0 contain sorry, 0 declared as axioms; 74 files
Files
- ArgRoutine.lean 8 declarations
- BinaryAlgorithm.lean 41 declarations
- BinaryParser.lean 20 declarations
- BinarySolve.lean 23 declarations
- CappedPower.lean 8 declarations
- CutAlgebra.lean 12 declarations
- DenseOracle.lean 26 declarations
- DivisionRoutine.lean 5 declarations
- FiniteStack.lean 26 declarations
- FoldRoutine.lean 6 declarations
- GuardRoutine.lean 5 declarations
- IntegerRoutine.lean 27 declarations
- IterateRoutine.lean 7 declarations
- LengthRoutine.lean 3 declarations
- ListNumeric.lean 11 declarations
- ListRoutine.lean 7 declarations
- MapRoutine.lean 10 declarations
- OddCutParity.lean 15 declarations
- OddCutUncross.lean 2 declarations
- OddMincut.lean 10 declarations
- OptionCases.lean 2 declarations
- OracleBounds.lean 11 declarations
- OrbitRoutine.lean 2 declarations
- PairRoutine.lean 12 declarations
- ParamRoutine.lean 8 declarations
- ParserSupport.lean 22 declarations
- PolyCoding.lean 28 declarations
- ProjectionRoutine.lean 2 declarations
- RawBitsBridge.lean 15 declarations
- RawContraction.lean 10 declarations
- RawContractionCompiler.lean 6 declarations
- RawData.lean 31 declarations
- RawFlow.lean 17 declarations
- RawFlowCompiler.lean 17 declarations
- RawFlowSize.lean 14 declarations
- RawInput.lean 31 declarations
- RawOddBounds.lean 15 declarations
- RawOddCompiler.lean 9 declarations
- RawOddCut.lean 8 declarations
- RawOptimizer.lean 20 declarations
- RawOptimizerCompiler.lean 9 declarations
- RawOptimizerData.lean 29 declarations
- RawOptimizerDataCompiler.lean 19 declarations
- RawOptimizerRows.lean 13 declarations
- RawOptimizerRowsCompiler.lean 6 declarations
- RawPrimitives.lean 11 declarations
- RawRoutine.lean 4 declarations
- RawSearch.lean 15 declarations
- RawSearchCompiler.lean 14 declarations
- RawSearchSize.lean 6 declarations
- RawSize.lean 12 declarations
- RecursiveBounds.lean 9 declarations
- RecursiveCoding.lean 11 declarations
- RecursiveCompiler.lean 5 declarations
- RecursiveEval.lean 10 declarations
- ResidualSearch.lean 26 declarations
- ScaledAlgorithm.lean 31 declarations
- ScaledBounds.lean 16 declarations
- ScaledState.lean 14 declarations
- SelectRoutine.lean 6 declarations
- SequenceRoutine.lean 11 declarations
- StackCopy.lean 6 declarations
- StackEmbed.lean 10 declarations
- StackFrame.lean 4 declarations
- StackMacros.lean 18 declarations
- StackPair.lean 13 declarations
- StackRoutine.lean 15 declarations
- SumRoutine.lean 11 declarations
- TerminalMincut.lean 7 declarations
- UnaryArithmetic.lean 20 declarations
- UnaryClog.lean 4 declarations
- UnaryDivision.lean 10 declarations
- UnitFlow.lean 24 declarations
- UnitMincut.lean 13 declarations