OAI/Probability/SKRatio/Certificates/
2162 declarations, 0 contain sorry, 0 declared as axioms; 65 files
Files
- CertifiedBatches.lean 7 declarations
- CertifiedCoefficient.lean 6 declarations
- CertifiedConstants.lean 14 declarations
- CertifiedEndpointAssembly.lean 5 declarations
- CertifiedEndpoints.lean 7 declarations
- CertifiedFunctionBounds.lean 7 declarations
- CertifiedFunctions.lean 19 declarations
- CertifiedGaussian.lean 10 declarations
- CertifiedInterpolation.lean 21 declarations
- CertifiedInterval.lean 29 declarations
- CertifiedJet.lean 21 declarations
- CertifiedMomentAssembly.lean 3 declarations
- CertifiedMomentsJ0.lean 1 declarations
- CertifiedMomentsJ1.lean 1 declarations
- CertifiedMomentsJ2.lean 1 declarations
- CertifiedMomentsJ3.lean 1 declarations
- CertifiedMomentsJ4.lean 1 declarations
- CertifiedQuadrature.lean 14 declarations
- FinalScalar.lean 2 declarations
- FixedExp.lean 12 declarations
- ScalarDataJ0K0.lean 44 declarations
- ScalarDataJ0K1.lean 44 declarations
- ScalarDataJ0K2.lean 44 declarations
- ScalarDataJ0K3.lean 44 declarations
- ScalarDataJ0K4.lean 44 declarations
- ScalarDataJ0K5.lean 44 declarations
- ScalarDataJ0K6.lean 44 declarations
- ScalarDataJ0K7.lean 44 declarations
- ScalarDataJ1K0.lean 44 declarations
- ScalarDataJ1K1.lean 44 declarations
- ScalarDataJ1K2.lean 44 declarations
- ScalarDataJ1K3.lean 44 declarations
- ScalarDataJ1K4.lean 44 declarations
- ScalarDataJ1K5.lean 44 declarations
- ScalarDataJ1K6.lean 44 declarations
- ScalarDataJ1K7.lean 44 declarations
- ScalarDataJ2K0.lean 44 declarations
- ScalarDataJ2K1.lean 44 declarations
- ScalarDataJ2K2.lean 44 declarations
- ScalarDataJ2K3.lean 44 declarations
- ScalarDataJ2K4.lean 44 declarations
- ScalarDataJ2K5.lean 44 declarations
- ScalarDataJ2K6.lean 44 declarations
- ScalarDataJ2K7.lean 44 declarations
- ScalarDataJ3K0.lean 44 declarations
- ScalarDataJ3K1.lean 44 declarations
- ScalarDataJ3K2.lean 44 declarations
- ScalarDataJ3K3.lean 44 declarations
- ScalarDataJ3K4.lean 44 declarations
- ScalarDataJ3K5.lean 44 declarations
- ScalarDataJ3K6.lean 44 declarations
- ScalarDataJ3K7.lean 44 declarations
- ScalarDataJ4K0.lean 44 declarations
- ScalarDataJ4K1.lean 44 declarations
- ScalarDataJ4K10.lean 44 declarations
- ScalarDataJ4K11.lean 44 declarations
- ScalarDataJ4K12.lean 44 declarations
- ScalarDataJ4K2.lean 44 declarations
- ScalarDataJ4K3.lean 44 declarations
- ScalarDataJ4K4.lean 44 declarations
- ScalarDataJ4K5.lean 44 declarations
- ScalarDataJ4K6.lean 44 declarations
- ScalarDataJ4K7.lean 44 declarations
- ScalarDataJ4K8.lean 44 declarations
- ScalarDataJ4K9.lean 44 declarations