OAI/Computability/MinUncut/Search/
527 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- ArithmeticExpression.lean 10 declarations
- ArithmeticTactic.lean 95 declarations
- BlockEnumeration.lean 19 declarations
- CodeArithmetic.lean 6 declarations
- CodeFoldComputable.lean 2 declarations
- CodeLayoutComputable.lean 18 declarations
- EnumerationPlain.lean 4 declarations
- FiniteAverageBounds.lean 12 declarations
- FiniteEnumeration.lean 12 declarations
- FiniteQueryFamily.lean 14 declarations
- InnerParameters.lean 3 declarations
- OuterParameters.lean 4 declarations
- ParameterFields.lean 30 declarations
- Parameters.lean 14 declarations
- PolynomialArithmetic.lean 10 declarations
- RationalBasics.lean 21 declarations
- RationalDenominatorArithmetic.lean 20 declarations
- RationalInner.lean 43 declarations
- RawRationalArithmetic.lean 102 declarations
- SampleEnumeration.lean 23 declarations
- TemplateArithmetic.lean 15 declarations
- UniformFind.lean 8 declarations
- UniformFiniteSum.lean 16 declarations
- UniformQuantifier.lean 12 declarations
- UniformRational.lean 14 declarations