`OAI/Probability/FreeIsing/`

6407 declarations, 0 contain sorry, 0 declared as axioms; 891 files

Folders

Brownian/ 66 files, 368 declarations
Cavity/ 12 files, 94 declarations
Conditioning/ 55 files, 295 declarations
Critical/ 16 files, 87 declarations
Energy/ 47 files, 343 declarations
Estimates/ 129 files, 1005 declarations
Factors/ 15 files, 74 declarations
Gaussian/ 64 files, 473 declarations
Gibbs/ 20 files, 141 declarations
Ising/ 119 files, 726 declarations
Martingales/ 46 files, 301 declarations
Posterior/ 82 files, 642 declarations
Spectral/ 18 files, 123 declarations
Spins/ 13 files, 115 declarations
Stochastic/ 39 files, 237 declarations
Trees/ 147 files, 1363 declarations

Files

Main.lean 2 declarations
Model.lean 18 declarations
Support.lean 430 imports, no declarations