OAI/Probability/SphericalField/
1651 declarations, 0 contain sorry, 0 declared as axioms; 142 files
Folders
- Cascade/ 15 files, 167 declarations
- Control/ 12 files, 146 declarations
- Entropy/ 10 files, 144 declarations
- Fields/ 13 files, 113 declarations
- Gaussian/ 7 files, 61 declarations
- Gibbs/ 14 files, 134 declarations
- Heat/ 16 files, 169 declarations
- Perceptron/ 5 files, 66 declarations
- Poisson/ 17 files, 185 declarations
- Positivity/ 9 files, 136 declarations
- Quantiles/ 7 files, 42 declarations
- Sphere/ 15 files, 199 declarations
Files
- Main.lean 1 declarations
- Model.lean 88 declarations