OAI/Probability/SATComputability/PoissonSemigroup.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FixedClauseThreshold.Computability.finite_expect_integral line 10
2. theorem OAI.FixedClauseThreshold.Computability.candidateStep_iterate_bound line 20
3. theorem OAI.FixedClauseThreshold.Computability.candidateBlock_comp line 27
4. def OAI.FixedClauseThreshold.Computability.poissonCandidateStep line 62
5. theorem OAI.FixedClauseThreshold.Computability.poissonCandidateStep_iterate line 66