OAI/Probability/SATComputability/ArithmeticSyntax.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.clampBall line 13
2. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.clampBall_computable line 15
3. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.clampBall_covers line 19
4. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.encloses_clamp line 24
5. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.decodedRational line 28
6. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.decodedRational_computable line 30
7. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.expressionValue line 34
8. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.expressionBall line 47
9. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.expressionBall_computable line 60
10. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.expressionBall_encloses line 78
11. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.expressionValue_effective line 100