leanprover-community/mathlib4

The math library of Lean 4

Lean3,318 stars1,334 forksApache-2.0

lean4

Rankings

Daily

#1092

Weekly

#2048

Monthly

#1994

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/leanprover-community/mathlib4.svg)

HTML

<img src="https://trending-repos.com/badge/leanprover-community/mathlib4.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/leanprover-community/mathlib4.svg