HighDimProb0.1.0
Lean 4 formalizations for high-dimensional probability, random matrices, concentration inequalities, and matrix Bernstein bounds.
1-1 of 1 versions of HighDimProb
Sort by
Date
- 0.1
0.1.0v4.29.123.3 MB
HighDimProb0.1.00.1.0