OAI/Combinatorics/LowSpaceSubsetSum/Search/
404 declarations, 0 contain sorry, 0 declared as axioms; 69 files
Files
- BudgetDecisionRound.lean 9 declarations
- BudgetedBucket.lean 6 declarations
- BudgetedBucketLedger.lean 8 declarations
- BudgetedBucketScale.lean 5 declarations
- BudgetedConcretePrefix.lean 7 declarations
- BudgetedFill.lean 8 declarations
- BudgetedJoinExecution.lean 7 declarations
- BudgetedJoinOne.lean 6 declarations
- BudgetedOuterCompletion.lean 3 declarations
- BudgetedOuterLoop.lean 4 declarations
- BudgetedOuterRemaining.lean 1 declarations
- BudgetedOuterReplay.lean 4 declarations
- BudgetedParentCollector.lean 6 declarations
- BudgetedParentFill.lean 4 declarations
- BudgetedParentJoin.lean 5 declarations
- BudgetedParentRemaining.lean 3 declarations
- BudgetedParentReplay.lean 9 declarations
- BudgetedParentSpent.lean 2 declarations
- BudgetedPrefixAllowance.lean 2 declarations
- BudgetedPrefixCompletion.lean 1 declarations
- BudgetedPrefixController.lean 2 declarations
- BudgetedPrefixLedger.lean 1 declarations
- BudgetedPrefixWork.lean 2 declarations
- BudgetedPreparedBucket.lean 6 declarations
- BudgetedPreparedCompletion.lean 4 declarations
- BudgetedPreparedParent.lean 6 declarations
- BudgetedPreparedSchedule.lean 5 declarations
- BudgetedPreparedSpent.lean 2 declarations
- BudgetedReplay.lean 15 declarations
- BudgetedReplayLoops.lean 8 declarations
- BudgetedRepresentationTrial.lean 16 declarations
- BudgetedResidueLoop.lean 10 declarations
- BudgetedSchedule.lean 5 declarations
- BudgetedScheduleAccount.lean 3 declarations
- BudgetedScheduleLedger.lean 9 declarations
- BudgetedScheduleWatchdog.lean 2 declarations
- BudgetedSnapshot.lean 6 declarations
- BudgetedStoppedJoin.lean 9 declarations
- BudgetedStoppedLoop.lean 5 declarations
- BudgetedStreamAllowance.lean 2 declarations
- BudgetedStreamContracts.lean 2 declarations
- BudgetedStreamPotential.lean 1 declarations
- BudgetedStreamStep.lean 4 declarations
- BudgetedTieGroup.lean 3 declarations
- BudgetedTieGroupCompletion.lean 5 declarations
- BudgetedTieOuter.lean 9 declarations
- BudgetedTieRemaining.lean 2 declarations
- BudgetedTieStep.lean 7 declarations
- ComputedParentExecution.lean 4 declarations
- ComputedParentFuels.lean 20 declarations
- DecisionRepetition.lean 7 declarations
- DecisionRound.lean 11 declarations
- ExactFallback.lean 7 declarations
- GuardedDecision.lean 13 declarations
- MainGuard.lean 3 declarations
- PreparedAsymptotics.lean 3 declarations
- PreparedDecision.lean 10 declarations
- PreparedDecisionRound.lean 8 declarations
- PreparedDecisionWordBounds.lean 2 declarations
- PreparedDecisionWork.lean 3 declarations
- PreparedParentExecution.lean 7 declarations
- PreparedReaderBounds.lean 2 declarations
- PreparedReaderContext.lean 18 declarations
- StoppedDecisionRound.lean 8 declarations
- StoppedGuardedDecision.lean 5 declarations
- StoppedSamplerLaw.lean 2 declarations
- StoppedStreamJoin.lean 8 declarations
- Watchdog.lean 9 declarations
- WatchdogRanking.lean 3 declarations