OAI/Probability/SATComputability/UpperCertificates.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FixedClauseThreshold.Computability.tolerance_tendsto line 11
2. structure OAI.FixedClauseThreshold.Computability.TrialEvaluation line 17
3. def OAI.FixedClauseThreshold.Computability.TrialEvaluation.certified line 29
4. def OAI.FixedClauseThreshold.Computability.TrialEvaluation.upper line 33
5. theorem OAI.FixedClauseThreshold.Computability.TrialEvaluation.certified_computable line 36
6. theorem OAI.FixedClauseThreshold.Computability.TrialEvaluation.upper_computable line 43
7. theorem OAI.FixedClauseThreshold.Computability.TrialEvaluation.certified_negative line 49
8. theorem OAI.FixedClauseThreshold.Computability.TrialEvaluation.negative_eventually_certified line 61
9. structure OAI.FixedClauseThreshold.Computability.TrialSeparation line 73
10. theorem OAI.FixedClauseThreshold.Computability.TrialSeparation.upper_sound line 78
11. theorem OAI.FixedClauseThreshold.Computability.TrialSeparation.upper_dense line 84
12. theorem OAI.FixedClauseThreshold.Computability.trial_separation_of_pressure line 92
13. theorem OAI.FixedClauseThreshold.Computability.computable_of_trial_separation line 116