OAI/Probability/SATComputability/TrialDescriptions.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.FixedClauseThreshold.Computability.computable_bool_and line 11
  2. theorem OAI.FixedClauseThreshold.Computability.computable_list_all line 14
  3. def OAI.FixedClauseThreshold.Computability.rationalAt line 23
  4. theorem OAI.FixedClauseThreshold.Computability.rationalAt_computable line 25
  5. theorem OAI.FixedClauseThreshold.Computability.rationalAt_get line 30
  6. def OAI.FixedClauseThreshold.Computability.positiveExponents line 33
  7. theorem OAI.FixedClauseThreshold.Computability.positiveExponents_computable line 36
  8. theorem OAI.FixedClauseThreshold.Computability.positiveExponents_iff line 41
  9. def OAI.FixedClauseThreshold.Computability.exponentCheck line 51
  10. theorem OAI.FixedClauseThreshold.Computability.exponentCheck_computable line 57
  11. theorem OAI.FixedClauseThreshold.Computability.exponentCheck_iff line 69
  12. theorem OAI.FixedClauseThreshold.Computability.exponentCheck_positive line 100