OAI/Computability/MinUncut/Analysis/GaussianQuadrature.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MinUncut.FiniteGaussian.conditional_gridStep line 16
2. lemma OAI.MinUncut.FiniteGaussian.rational_grid_expectation line 25
3. lemma OAI.MinUncut.FiniteGaussian.joint_table_error line 31
4. def OAI.MinUncut.FiniteGaussian.qError line 56
5. lemma OAI.MinUncut.FiniteGaussian.qError_cast line 58
6. structure OAI.MinUncut.FiniteGaussian.GridData line 63
7. def OAI.MinUncut.FiniteGaussian.GridData.Check line 71
8. instance OAI.MinUncut.FiniteGaussian.GridData.(instance at line 76) line 76
9. lemma OAI.MinUncut.FiniteGaussian.GridData.exists_check line 79
10. def OAI.MinUncut.FiniteGaussian.GridData.select line 119
11. lemma OAI.MinUncut.FiniteGaussian.GridData.select_check line 122