- Stars
- 1
- Forks
- 0
- + today
- +1
- Created
- —
Ranking data as of October 1, 2026 (UTC).
Overview
leanprover-community/mathlib4 — trending on GitHub. It ranks #1102 on GitTiger, gaining +1 star on October 1, 2026 (UTC).
Installation
git clone https://github.com/leanprover-community/mathlib4.git
cd mathlib4
# see README for setup