GitHub repository: mkxl/CLT
Description: Central limit theorem in Lean