OAI/Probability/SATComputability/ArithmeticConstructors.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.rationalExpression line 11
2. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.rationalExpression_computable line 14
3. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.rationalExpression_value line 19
4. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.exponentialExpression line 24
5. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.positiveLogExpression line 25
6. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.reciprocalExpression line 26
7. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.exponentialExpression_value line 28
8. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.positiveLogExpression_value line 31
9. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.reciprocalExpression_value line 34
10. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.scaledLogExpression line 38
11. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.scaledLogExpression_value line 42
12. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.sumExpressions line 57
13. def OAI.FixedClauseThreshold.Computability.FiniteArithmetic.productExpressions line 58
14. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.sumExpressions_computable line 60
15. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.productExpressions_computable line 64
16. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.sumExpressions_value line 68
17. theorem OAI.FixedClauseThreshold.Computability.FiniteArithmetic.productExpressions_value line 75