OAI/Probability/SATComputability/RationalHierarchy.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.RationalWeights.toAtomic line 11
2. theorem OAI.FixedClauseThreshold.Computability.rationalWeights_atomic_dense line 20
3. def OAI.FixedClauseThreshold.Computability.RationalTree line 36
4. instance OAI.FixedClauseThreshold.Computability.rationalWeightsEncodable line 40
5. def OAI.FixedClauseThreshold.Computability.rationalTreeEncoding line 44
6. instance OAI.FixedClauseThreshold.Computability.rationalTreeEncodable line 51
7. def OAI.FixedClauseThreshold.Computability.rationalTreeValue line 57
8. theorem OAI.FixedClauseThreshold.Computability.rationalTreeValue_finite line 61
9. theorem OAI.FixedClauseThreshold.Computability.rationalTreeValue_dense line 70