GitHub Trending Topics Languages Repositories Users Organizations

/

leanprover-community mathlib3

Public

Watch0 Fork289 Star1.7K

Code Issues Pull requests Insights

HEAD

READMEApache-2.0 license

No README is available through GitHub.

About

Lean 3's obsolete mathematical components library: please use mathlib4

lean theorem-proving formal-methods formal-proofs formal-mathematics proof-automation

Readme
Apache-2.0 license
Activity
1.7K stars
0 watching
289 forks

Contributors

View all contributors

See what the GitStar community is most excited about today.

Trending

GitHub Trending Today GitHub Trending Weekly GitHub Trending Monthly

Languages

Browse all languages Trending Python Trending JavaScript

Explore

Browse repositories Browse users Browse organizations Browse GitHub topics

© 2026 GitStarJobStar GitHub Trending source