Lean 3's mathlib

Warning

Lean 3 and Mathlib 3 are no longer actively maintained. It is strongly recommended that you use mathlib4 for Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)

Name		Name	Last commit message	Last commit date
Latest commit History 18,271 Commits
.devcontainer		.devcontainer
.docker		.docker
.github		.github
.vscode		.vscode
archive		archive
counterexamples		counterexamples
docs		docs
roadmap		roadmap
scripts		scripts
src		src
test		test
.gitignore		.gitignore
.gitpod.yml		.gitpod.yml
CITATION.md		CITATION.md
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
LICENSE		LICENSE
OLD_README.md		OLD_README.md
README.md		README.md
bors.toml		bors.toml
leanpkg.toml		leanpkg.toml

Navigation Menu