GitHub - patrickrd/CLT-lindeberg · GitHub

Repository navigation

CLT-lindeberg

Public

About

No description, website, or topics provided.

Apache-2.0 license

0 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
Clt		Clt
blueprint		blueprint
.gitignore		.gitignore
Clt.lean		Clt.lean
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
tasks.py		tasks.py

Repository files navigation

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)

About

No description, website, or topics provided.

Apache-2.0 license

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages