OAI/Probability/SATComputability/DeletionIncrement.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.allowedDeletions line 12
2. theorem OAI.FixedClauseThreshold.Computability.allowedDeletions_nonempty line 15
3. def OAI.FixedClauseThreshold.Computability.bestDeletionTime line 18
4. def OAI.FixedClauseThreshold.Computability.freeDeletionTime line 21
5. theorem OAI.FixedClauseThreshold.Computability.bestDeletionTime_mono line 25
6. theorem OAI.FixedClauseThreshold.Computability.bestDeletionTime_le_free line 34
7. theorem OAI.FixedClauseThreshold.Computability.freeDeletionTime_le_next line 42
8. theorem OAI.FixedClauseThreshold.Computability.freeDeletionTime_eq_at_max line 51
9. theorem OAI.FixedClauseThreshold.Computability.deletion_increment_rpow line 64
10. theorem OAI.FixedClauseThreshold.Computability.mean_deletion_increment line 97