OAI/Probability/PosteriorReplicas/Kernels/
53 declarations, 0 contain sorry, 0 declared as axioms; 8 files
Files
- DensityRatio.lean 6 declarations
- KernelPi.lean 5 declarations
- LiftedReplica.lean 5 declarations
- PosteriorExperiment.lean 6 declarations
- PosteriorKernel.lean 7 declarations
- ReplicaGaussianMarginals.lean 8 declarations
- ReplicaMeasure.lean 12 declarations
- ReplicaTupleMarginals.lean 4 declarations