OAI/Probability/SATComputability/MaskLifetime.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.maskLifetime line 11
2. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_nonneg line 16
3. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_le line 22
4. theorem OAI.FixedClauseThreshold.Computability.candidateBlock_zero_expect line 30
5. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_mean line 36
6. theorem OAI.FixedClauseThreshold.Computability.candidateBlock_kill_antitone line 59
7. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_mean_le line 68
8. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_fractional_moment line 90