leanprover-community/mathlib4 · MMO ALL

MMO ALLBuild · Share · Earn

Home Community Projects Following GitHub Insight Opportunity Radar

/

Build · Share · Earn

Pages

About
Rules
Guide

Connect

© 2026 MMO ALL. All rights reserved.

leanprover-community/mathlib4 · MMO ALL

← Back to Insight

leanprover-community

leanprover-community

leanprover-community/mathlib4

The math library of Lean 4

Open on GitHub Project homepage

4,094

Stars

1,674

Forks

282

Open issues

4,077

Watchers

Apache-2.0

License

Lean

Language

May 9, 2021

Created

Sep 11, 2026

Last pushed

+17

Star growth · 1 day

Not enough data yet

Star growth · 7 days

Not enough data yet

Star growth · 30 days

Topics

Stars over the last 90 days