OAI/Probability/SATComputability/HierarchyBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FixedClauseThreshold.Computability.branchEntry_code_le line 10
2. theorem OAI.FixedClauseThreshold.Computability.rawBranches_code_le line 21
3. theorem OAI.FixedClauseThreshold.Computability.normalizedBranches_code_le line 33
4. def OAI.FixedClauseThreshold.Computability.codeAlphabet line 45
5. theorem OAI.FixedClauseThreshold.Computability.mem_codeAlphabet line 48
6. def OAI.FixedClauseThreshold.Computability.hierarchyStates line 57
7. theorem OAI.FixedClauseThreshold.Computability.mem_hierarchyStates line 59