OAI/Probability/
143643 declarations, 0 contain sorry, 0 declared as axioms; 12971 files
Folders
- Ballisticity/ 516 files, 4790 declarations
- BenjaminiSchramm/ 291 files, 1310 declarations
- BinarySweep/ 192 files, 2049 declarations
- ClassicalON/ 117 files, 1193 declarations
- Contingency/ 39 files, 2317 declarations
- ContinuumTransition/ 161 files, 954 declarations
- CoordinateSweeps/ 16 files, 771 declarations
- CriticalPercolation/ 627 files, 4444 declarations
- CriticalZ3/ 34 files, 1004 declarations
- CubeShuffle/ 26 files, 1084 declarations
- DilutedSpin/ 405 files, 3184 declarations
- DirectionalWalk/ 69 files, 1355 declarations
- EntangledGames/ 30 files, 691 declarations
- FKMaps/ 61 files, 3320 declarations
- FKPressure/ 7 files, 350 declarations
- FirstPassage/ 141 files, 971 declarations
- FreeIsing/ 891 files, 6407 declarations
- GammaPassage/ 183 files, 1205 declarations
- GaussianInformation/ 108 files, 983 declarations
- GaussianPropeller/ 47 files, 742 declarations
- GaussianRegression/ 21 files, 203 declarations
- GaussianReplacement/ 50 files, 1081 declarations
- Honeycomb/ 2 files, 265 declarations
- InvariantIsing/ 2191 files, 8035 declarations
- Ising/ 15 files, 283 declarations
- IsingPerceptron/ 53 files, 2396 declarations
- JammingConcavity/ 59 files, 2341 declarations
- LatticePassage/ 55 files, 451 declarations
- LatticeSurface/ 243 files, 1871 declarations
- Localization/ 15 files, 250 declarations
- LogConcave/ 326 files, 4090 declarations
- MatroidProphet/ 125 files, 1077 declarations
- MatroidSecretary/ 118 files, 764 declarations
- MemoryPrecision/ 50 files, 426 declarations
- Moments/ 1 files, 62 declarations
- ParisiFinite/ 114 files, 6192 declarations
- Perceptron/ 411 files, 4614 declarations
- PosteriorReplicas/ 136 files, 1030 declarations
- ProbabilityMeasure/ 1 files, 28 declarations
- ProjectionMoments/ 25 files, 427 declarations
- RadialTransition/ 104 files, 997 declarations
- RandomSAT/ 15 files, 452 declarations
- Renewal/ 20 files, 143 declarations
- SATComputability/ 106 files, 922 declarations
- SATVariance/ 35 files, 585 declarations
- SKBarriers/ 574 files, 3448 declarations
- SKCutoff/ 1 files, 63 declarations
- SKFluctuations/ 151 files, 5750 declarations
- SKGap/ 556 files, 6347 declarations
- SKRatio/ 260 files, 4883 declarations
- SKSupport/ 135 files, 1360 declarations
- SKValue/ 212 files, 1764 declarations
- SLE/ 1302 files, 7453 declarations
- SLEGauge/ 104 files, 3047 declarations
- SLELocalization/ 42 files, 1504 declarations
- SignedSweeps/ 174 files, 1877 declarations
- SpanningForest/ 231 files, 2103 declarations
- SphericalField/ 142 files, 1651 declarations
- SphericalPerceptron/ 1 files, 96 declarations
- StrongRayleigh/ 133 files, 929 declarations
- Subsphere/ 25 files, 670 declarations
- SwitchChain/ 222 files, 2202 declarations
- ThorpCompatibility/ 34 files, 245 declarations
- ThorpResults/ 7 files, 37 declarations
- ThorpRouting/ 174 files, 12038 declarations
- ThorpShuffle/ 61 files, 810 declarations
- ThreeState/ 27 files, 776 declarations
- ThreeStateClauses/ 31 files, 709 declarations
- TraceReconstruction/ 30 files, 2271 declarations
- UnimodularPercolation/ 83 files, 3397 declarations
- Voronoi/ 1 files, 90 declarations
Files
- BenjaminiSchramm.lean 170 imports, no declarations
- InvariantIsing.lean 2191 imports, no declarations
- MatroidProphet.lean 1 import, no declarations
- StrongRayleigh.lean 133 imports, no declarations
- SwitchChain.lean 222 imports, no declarations
- TraceReconstruction.lean 14 declarations