OAI/Probability/SATComputability/LowerProgram.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.lowerProgram line 11
2. theorem OAI.FixedClauseThreshold.Computability.sampleCenter_computable line 16
3. theorem OAI.FixedClauseThreshold.Computability.correction_computable line 22
4. theorem OAI.FixedClauseThreshold.Computability.lowerProgram_computable line 29
5. theorem OAI.FixedClauseThreshold.Computability.exists_lowerProgram line 33
6. theorem OAI.FixedClauseThreshold.Computability.threshold_program_of_trial_separation line 42