Name		Name	Last commit message	Last commit date
.github		.github
Statlib		Statlib
docbuild		docbuild
scripts		scripts
tutorial-manual		tutorial-manual
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Statlib.lean		Statlib.lean
build_api_docs.sh		build_api_docs.sh
build_tutorial.sh		build_tutorial.sh
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Repository files navigation

Statlib

Lean formalization project for probability and statistics.

About

LEAN library supporting statistics formalization

stat-lib.github.io/

Apache-2.0 license

Custom properties

19 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages