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/
RemyDegenne/CLT
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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/