OAI/Probability/SATComputability/RationalWeights.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.RationalWeights line 10
2. def OAI.FixedClauseThreshold.Computability.RationalWeights.toLaw line 13
3. abbrev OAI.FixedClauseThreshold.Computability.ProbabilityVector line 19
4. def OAI.FixedClauseThreshold.Computability.RationalWeights.real line 22
5. theorem OAI.FixedClauseThreshold.Computability.exists_rational_weights_near line 26
6. theorem OAI.FixedClauseThreshold.Computability.rationalWeights_dense line 87