OAI/Probability/Ising/
283 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- Basic.lean 31 declarations
- Colorings.lean 14 declarations
- Contraction.lean 35 declarations
- Covariance.lean 22 declarations
- EdwardsSokal.lean 21 declarations
- FieldUpdate.lean 39 declarations
- GibbsMeasure.lean 24 declarations
- Influence.lean 16 declarations
- Interpolation.lean 7 declarations
- Main.lean 9 declarations
- Marginals.lean 17 declarations
- PinnedMarginal.lean 12 declarations
- RandomCluster.lean 7 declarations
- SpinCorrelation.lean 19 declarations
- TwoSpin.lean 10 declarations