OAI/Combinatorics/MatchingCount/Complexity/
360 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- AlphabetCompilerCost.lean 4 declarations
- ComputeCost.lean 7 declarations
- GuardMachineBase.lean 42 declarations
- OnlineCost.lean 16 declarations
- OnlineFoldCost.lean 2 declarations
- OnlineFrameCost.lean 14 declarations
- OnlineHistoryCost.lean 8 declarations
- OnlineInitialCost.lean 17 declarations
- OnlineInitialDataCost.lean 4 declarations
- OnlineRequestCost.lean 19 declarations
- OnlineRunCost.lean 4 declarations
- OnlineSampleCost.lean 25 declarations
- OnlineScheduleCost.lean 8 declarations
- OnlineStageCost.lean 12 declarations
- OnlineTraverseCost.lean 4 declarations
- OnlineWordCost.lean 5 declarations
- OriginalCost.lean 3 declarations
- PhysicalCost.lean 6 declarations
- StackCompilerCost.lean 11 declarations
- TreeChoiceCosts.lean 14 declarations
- TreeCostMeasure.lean 12 declarations
- TreeCostTactic.lean 0 declarations
- TreeFractionCosts.lean 7 declarations
- TreeNumericCosts.lean 7 declarations
- TreePolyTactic.lean 0 declarations
- TreePolynomial.lean 21 declarations
- TreePolynomialArithmetic.lean 15 declarations
- TreePolynomialCollections.lean 14 declarations
- TreePolynomialDivision.lean 8 declarations
- TreePolynomialGCD.lean 16 declarations
- TreePolynomialGrid.lean 9 declarations
- TreePolynomialLists.lean 13 declarations
- TreePolynomialLoop.lean 5 declarations
- TreePolynomialSums.lean 8 declarations