OAI/Combinatorics/ContingencyTables/Machines/
1890 declarations, 0 contain sorry, 0 declared as axioms; 127 files
Files
- BinIntervalProgram.lean 20 declarations
- BinPopulationProgram.lean 16 declarations
- BinVectorProgram.lean 28 declarations
- BinaryContraction.lean 37 declarations
- BinaryExchangeProgram.lean 19 declarations
- BinaryPowerProgram.lean 9 declarations
- BinarySearchProgram.lean 25 declarations
- BooleanChunkProgram.lean 11 declarations
- BoundedBinarySearch.lean 11 declarations
- BoundedComplementProgram.lean 22 declarations
- BoundedPowerProgram.lean 7 declarations
- CachedCompletionWeights.lean 17 declarations
- CachedDecisionSemantics.lean 2 declarations
- CachedProfileDecision.lean 12 declarations
- CachedStepCount.lean 9 declarations
- CachedTerminalCount.lean 17 declarations
- CachedTerminalSemantics.lean 5 declarations
- CanonicalInitialEncoding.lean 21 declarations
- CellLowerTestProgram.lean 20 declarations
- CellMaximumProgram.lean 8 declarations
- CellMinimumProgram.lean 8 declarations
- CompletionEnumerationProgram.lean 13 declarations
- CorrectionValueProgram.lean 21 declarations
- DependentWordProgram.lean 16 declarations
- DirectedBFSProgram.lean 37 declarations
- DirectedBFSRuntime.lean 20 declarations
- DyadicRootProgram.lean 68 declarations
- DyadicWordProgram.lean 4 declarations
- EndpointMatrixProgram.lean 35 declarations
- EnumerationPointBounds.lean 6 declarations
- FairBits.lean 17 declarations
- FiniteEncodedBind.lean 2 declarations
- FiniteEncodedHistory.lean 8 declarations
- FiniteFairBits.lean 6 declarations
- FiniteGraphCutProgram.lean 26 declarations
- FiniteGraphRootProgram.lean 37 declarations
- FinitePlainLift.lean 2 declarations
- FiniteTraceSlowdown.lean 11 declarations
- FiniteVaryingObservable.lean 3 declarations
- FiniteVaryingWordWalk.lean 8 declarations
- FiniteWordDependent.lean 3 declarations
- FiniteWordExecution.lean 8 declarations
- FiniteWordJointPadding.lean 3 declarations
- FiniteWordMachine.lean 5 declarations
- FiniteWordOutput.lean 1 declarations
- FiniteWordPadding.lean 6 declarations
- FiniteWordRationalLaw.lean 2 declarations
- FiniteWordRejection.lean 4 declarations
- FiniteWordSlices.lean 8 declarations
- FiniteWordTableLaw.lean 1 declarations
- FiniteWordWalk.lean 8 declarations
- FirstSuccessProgram.lean 13 declarations
- FixedCardinalityBits.lean 14 declarations
- FixedCardinalityFlat.lean 9 declarations
- FixedCardinalityFold.lean 19 declarations
- FixedCardinalityLaw.lean 17 declarations
- FixedCardinalityMixture.lean 15 declarations
- FixedCardinalityProgram.lean 6 declarations
- FlowEntryProgram.lean 19 declarations
- FlowLoopProgram.lean 31 declarations
- FlowMatrixProgram.lean 18 declarations
- FlowPathProgram.lean 33 declarations
- FractionAcceptanceProgram.lean 12 declarations
- FractionAggregateProgram.lean 13 declarations
- FractionMetropolisProgram.lean 16 declarations
- FractionOutputProgram.lean 6 declarations
- FractionRepetitionProgram.lean 4 declarations
- GeometricRuntime.lean 3 declarations
- InitialChoiceProgram.lean 19 declarations
- InitialDrawReindex.lean 4 declarations
- InitialFactorialBits.lean 12 declarations
- InitialLocalChoices.lean 3 declarations
- IntegerMatrixProgram.lean 29 declarations
- ListSubtractProgram.lean 13 declarations
- ListWordProgram.lean 8 declarations
- LiteralProgram.lean 18 declarations
- LowerCapacityProgram.lean 21 declarations
- MatrixCodeEquality.lean 7 declarations
- MatrixEncoding.lean 6 declarations
- MatrixSubtractProgram.lean 21 declarations
- MaximalListProgram.lean 10 declarations
- MedianFractionProgram.lean 28 declarations
- NatListEquality.lean 10 declarations
- NaturalBlockProgram.lean 18 declarations
- NetworkCapacityProgram.lean 40 declarations
- NetworkFeasibilityProgram.lean 16 declarations
- NetworkTableProgram.lean 27 declarations
- OffsetCountProgram.lean 14 declarations
- OnlineIntegerRetry.lean 16 declarations
- OnlinePartialCall.lean 10 declarations
- OnlineRetryPrefix.lean 8 declarations
- OnlineRetryRuntime.lean 6 declarations
- PackedMatrixInjective.lean 2 declarations
- PairedCatalogProgram.lean 18 declarations
- PairedDemandProgram.lean 33 declarations
- PairedFactorialProgram.lean 21 declarations
- PairedProfileProgram.lean 30 declarations
- PowerApproximationProgram.lean 10 declarations
- PreparedDenseCount.lean 9 declarations
- PreparedOffsetCount.lean 16 declarations
- PreparedTransitionCache.lean 7 declarations
- PublicInputLength.lean 5 declarations
- QuadraticPrefixRuntime.lean 3 declarations
- RationalIntervalProgram.lean 9 declarations
- RepeatedFractionProgram.lean 14 declarations
- ResidualDenseProgram.lean 8 declarations
- ResidualGraphProgram.lean 43 declarations
- ResidualWeightProgram.lean 5 declarations
- RetryNumeratorProgram.lean 14 declarations
- RoundedPowerProgram.lean 29 declarations
- ScalarScheduleBounds.lean 4 declarations
- ScalarScheduleProgram.lean 17 declarations
- ScaledWordProgram.lean 5 declarations
- ScheduledCountInput.lean 36 declarations
- ScheduledCountSemantics.lean 10 declarations
- ScheduledResidualLaw.lean 3 declarations
- ScheduledResidualProgram.lean 15 declarations
- ScheduledScalarBounds.lean 11 declarations
- SignedFloorProgram.lean 29 declarations
- SignedPairProgram.lean 27 declarations
- SparseViewMatrixProgram.lean 18 declarations
- TableIndexProgram.lean 11 declarations
- TightenedInputProgram.lean 43 declarations
- TransitionCacheRuntime.lean 4 declarations
- TranslationDecisionProgram.lean 19 declarations
- VectorRetryProgram.lean 15 declarations
- WeightedArgmaxProgram.lean 22 declarations