Reservoir
No results found
All Packages
clt
Central limit theorem in Lean
Readme
Versions (1)
Dependencies (12)
Proof of the central limit theorem in Lean.
Current status: WIP, and mostly inactive.