Proof of the Lindeberg CLT in Lean.
Built on Remy Degenne's standard CLT: https://github.com/RemyDegenne/CLT
Current status: Full working proof (to be sanitised)
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Proof of the Lindeberg CLT in Lean.
Built on Remy Degenne's standard CLT: https://github.com/RemyDegenne/CLT
Current status: Full working proof (to be sanitised)