OAI/Probability/SKGap/Posterior/
124 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- BufferedPosteriorCovariance.lean 3 declarations
- BufferedPosteriorDirection.lean 5 declarations
- ChannelTranslation.lean 5 declarations
- ConditionalObservationData.lean 5 declarations
- GOEObservation.lean 11 declarations
- GOEPointwisePosterior.lean 5 declarations
- GaussianChannel.lean 18 declarations
- History.lean 53 declarations
- QuenchedPosterior.lean 4 declarations
- StaticExperimentBridge.lean 15 declarations