prob-book

Formalization of the Grinstead and Snell's Introduction to Probability.

This project uses Lean4, Mathlib and Blueprint.

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
.github/workflows		.github/workflows
ProbBook		ProbBook
blueprint/src		blueprint/src
.gitignore		.gitignore
LICENSE		LICENSE
ProbBook.lean		ProbBook.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback