OAI/Probability/Perceptron/Control/FreshControl.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.SphericalPerceptronFreeEnergy.compactPositivePairLaw_fst_isProbability line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.compactPositivePairLaw_spin_quantile line 17
3. theorem OAI.SphericalPerceptronFreeEnergy.compactGG_freshLog_control line 40
4. theorem OAI.SphericalPerceptronFreeEnergy.source_contact_freshLog_control line 57