Proof of the central limit theorem in Lean.
Current status: we have a full proof of the CLT for real random variables.
Blueprint: https://remydegenne.github.io/CLT/blueprint/
EtienneC30/CLT
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- TeX 48.5%
- Lean 45.0%
- Python 5.1%
- CSS 1.3%
- Perl 0.1%