OAI/Probability/SATComputability/RelaxedPressure.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.relaxedPartition line 11
2. def OAI.FixedClauseThreshold.Computability.relaxedLogPartition line 15
3. theorem OAI.FixedClauseThreshold.Computability.satModel_logWeight line 19
4. theorem OAI.FixedClauseThreshold.Computability.satModel_logPartition line 34
5. theorem OAI.FixedClauseThreshold.Computability.zeroField_integral line 41
6. theorem OAI.FixedClauseThreshold.Computability.signLaw_pi_integral line 54
7. theorem OAI.FixedClauseThreshold.Computability.disorder_pi_integral line 68
8. def OAI.FixedClauseThreshold.Computability.relaxedFixedLogPartition line 82
9. def OAI.FixedClauseThreshold.Computability.relaxedPoissonPressure line 88
10. theorem OAI.FixedClauseThreshold.Computability.satModel_pressure line 91