OAI/Computability/MinUncut/Estimates/
2138 declarations, 0 contain sorry, 0 declared as axioms; 78 files
Files
- ActualBoxBound.lean 12 declarations
- AlgebraicSigns.lean 2 declarations
- AnalyticOuter.lean 7 declarations
- ArraySum.lean 28 declarations
- Assembly.lean 24 declarations
- Away.lean 63 declarations
- Basic.lean 97 declarations
- Basic2.lean 151 declarations
- BlocksEffectivity.lean 10 declarations
- Bridge.lean 81 declarations
- CodeComputability.lean 83 declarations
- CodeContinuations.lean 28 declarations
- CodeIteration.lean 7 declarations
- CoefficientMoments.lean 10 declarations
- CollisionIndicator.lean 10 declarations
- ComparisonSoundness.lean 16 declarations
- ConditionalRounding.lean 1 declarations
- Convolution.lean 37 declarations
- CountedWordParser.lean 45 declarations
- CoupledAnswer.lean 9 declarations
- Density.lean 69 declarations
- EraseAway.lean 33 declarations
- EuclideanInvariantScore.lean 34 declarations
- ExpectResampleRow.lean 63 declarations
- ExpressionEffectivity.lean 31 declarations
- ExpressionOutput.lean 41 declarations
- F2.lean 87 declarations
- FaceUpdateSelf.lean 63 declarations
- FiberPrefix.lean 129 declarations
- FirstError.lean 4 declarations
- FourthTest.lean 25 declarations
- HeapInitializationMath.lean 10 declarations
- IndexedLists.lean 16 declarations
- InnerAssembly.lean 56 declarations
- InnerUniform.lean 6 declarations
- InputData.lean 60 declarations
- IntegralExpect.lean 3 declarations
- IterationMagnitude.lean 11 declarations
- LiftedVectors.lean 12 declarations
- ListDecoding.lean 20 declarations
- LiteralLocalTemplates.lean 15 declarations
- LiteralTestQueries.lean 5 declarations
- LocalBodyEffectivity.lean 9 declarations
- MemLpMaskProject.lean 2 declarations
- NormalizedWeights.lean 4 declarations
- OuterRemainder.lean 13 declarations
- OuterSampling.lean 2 declarations
- OutputSize.lean 3 declarations
- PatchDensity.lean 1 declarations
- PatchExpectation.lean 1 declarations
- PointField.lean 7 declarations
- PolynomialRecursor.lean 126 declarations
- Rest.lean 11 declarations
- ReversePrefixProgram.lean 12 declarations
- RowListBridge.lean 3 declarations
- SamplerAssembly.lean 16 declarations
- SamplerCost.lean 11 declarations
- SecondFailureIndicator.lean 18 declarations
- SelectedProject.lean 3 declarations
- SelectedProjectSliceContinuous.lean 2 declarations
- SelectedSyntax.lean 7 declarations
- SingleRow.lean 6 declarations
- TM2Costed.lean 58 declarations
- TableLawPacking.lean 7 declarations
- TableTestFunctions.lean 14 declarations
- TemplateExpressions.lean 55 declarations
- UniformAlgebra.lean 9 declarations
- UniformBoolean.lean 13 declarations
- UniformEquation.lean 48 declarations
- UniformEquationOutput.lean 31 declarations
- UniformFaceArray.lean 2 declarations
- UniformGrid.lean 53 declarations
- UniformOutput.lean 3 declarations
- UniformProduct.lean 3 declarations
- UniformRestrict.lean 27 declarations
- UniformSets.lean 9 declarations
- UniformTransport.lean 14 declarations
- WeightedTestLaw.lean 21 declarations