OAI/Probability/FreeIsing/Spins/
115 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- Chain.lean 8 declarations
- Flip.lean 19 declarations
- Kernel.lean 28 declarations
- Moments.lean 21 declarations
- ObservationFusion.lean 5 declarations
- ObservationLaw.lean 1 declarations
- PosteriorCertification.lean 2 declarations
- PosteriorFusion.lean 4 declarations
- PosteriorLaw.lean 1 declarations
- PosteriorTilt.lean 3 declarations
- ProductLaw.lean 8 declarations
- Recovery.lean 12 declarations
- Twist.lean 3 declarations