OAI/Probability/SATComputability/DisorderEnumeration.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.signAlphabet line 12
2. theorem OAI.FixedClauseThreshold.Computability.signWords_computable line 14
3. theorem OAI.FixedClauseThreshold.Computability.sum_words line 18
4. def OAI.FixedClauseThreshold.Computability.averagedSiteExpression line 36
5. theorem OAI.FixedClauseThreshold.Computability.averagedSiteExpression_computable line 42
6. theorem OAI.FixedClauseThreshold.Computability.trialLog_site_cast line 56
7. theorem OAI.FixedClauseThreshold.Computability.averagedSiteExpression_value line 63
8. def OAI.FixedClauseThreshold.Computability.averagedEdgeExpression line 82
9. theorem OAI.FixedClauseThreshold.Computability.averagedEdgeExpression_computable line 86
10. theorem OAI.FixedClauseThreshold.Computability.averagedEdgeExpression_value line 98