leanprover-community/mathlib4 — GitHub trend

◂ BACK TO LEADERBOARD

FINDING #6129 · UNIT ID 365697493

leanprover-community/mathlib4

The math library of Lean 4

[ LEAN ][ ORG ][ GITHUB ↗ ]

SURPRISE SCORE

0.00

Score Breakdown

SURPRISE0.00139

ENGAGEMENT0.85

FRESHNESS1.00

SCORE = SURPRISE × ENGAGEMENT^0.7 × FRESHNESS × VISIBILITY × CONFIDENCE

SURPRISE = WINDOW STARS / DAYS / (AUDIENCE + FLOOR)

1% OF STARS IN ARCHIVE

Growth Telemetry

VELOCITY /D

6.29

ACCEL

+0.61

RETENTION

75.0%

PEAK 2026-08-24 · FORK-RETENTION 55.6% · 44 STARS / WINDOW

Author Audience

AUDIENCE

4,490

FOLLOWERS

981

OWNER ★

12,639

Engagement Signals

FORKS

1,629

ISSUE AUTH

PR AUTH

UNIQUE STARGAZERS 44 / 44 (DIVERSITY 1.00)

Why This Is A Finding

leanprover-community/mathlib4 собрал 44 звёзд за окно, тогда как у автора всего 981 подписчиков — эффективная аудитория ≈ 4,490. Это даёт surprise-индекс 0.00139 (звёзды относительно охвата автора, а не в абсолюте). Удержание форков 55.6% и 0 внешних контрибьюторов отделяют реальный инструмент от разовой вспышки. Акселерация положительная — рост ещё не выдохся.

Related Findings

RANKS ABOVE 37% OF 9760 FINDINGS

#2690TauCetiProject/TauCeti[ LEAN ]0.00688 #7762leanprover/cslib[ LEAN ]0.000162 #8932google-deepmind/formal-conjectures[ LEAN ]0.0000142 #9292openai/ten-proofs[ LEAN ]<0.000001 #9305anthropics/formal-math[ LEAN ]<0.000001

METRICS IN CONTEXT

MEDIAN ACROSS ALL 9760 FINDINGS · Δ vs MEDIAN · PERCENTILE = SHARE RANKED BELOW

METRICVALUEMEDIANΔ MEDPERCENTILE

SCORE0.000.00-0.00ABOVE 37%

VELOCITY6.293.71+2.57ABOVE 67%

RETENTION75.0%38.0%+37.0 PPABOVE 93%

FORKS1,62986+1,543ABOVE 95%

SURPRISE0.000.01-0.01ABOVE 17%