leanprover-community/physlib — GitHub trend

◂ BACK TO LEADERBOARD

FINDING #7075 · UNIT ID 787574978

leanprover-community/physlib

A project to digitalise results from physics into Lean.

[ LEAN ][ ORG ][ GITHUB ↗ ]

SURPRISE SCORE

0.00

Score Breakdown

SURPRISE0.000634

ENGAGEMENT1.00

FRESHNESS1.00

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

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

3% OF STARS IN ARCHIVE

Growth Telemetry

VELOCITY /D

2.86

ACCEL

-0.14

RETENTION

55.0%

PEAK 2026-08-18 · FORK-RETENTION 60.0% · 20 STARS / WINDOW

Author Audience

AUDIENCE

4,465

FOLLOWERS

975

OWNER ★

12,575

Engagement Signals

FORKS

169

ISSUE AUTH

PR AUTH

UNIQUE STARGAZERS 20 / 20 (DIVERSITY 1.00)

Why This Is A Finding

leanprover-community/physlib собрал 20 звёзд за окно, тогда как у автора всего 975 подписчиков — эффективная аудитория ≈ 4,465. Это даёт surprise-индекс 0.000634 (звёзды относительно охвата автора, а не в абсолюте). Удержание форков 60.0% и 0 внешних контрибьюторов отделяют реальный инструмент от разовой вспышки. Акселерация отрицательная — внимание остывает после пика.

Related Findings

RANKS ABOVE 27% OF 9733 FINDINGS

#5906leanprover-community/mathlib4[ LEAN ]0.00145 #6177leanprover/lean4[ LEAN ]0.0012 #7734leanprover/cslib[ LEAN ]0.000213 #9112google-deepmind/formal-conjectures[ LEAN ]0.0000142 #9390anthropics/zeta-23-lean[ LEAN ]0.00000216

METRICS IN CONTEXT

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

METRICVALUEMEDIANΔ MEDPERCENTILE

SCORE0.000.00-0.00ABOVE 27%

VELOCITY2.863.57-0.71ABOVE 40%

RETENTION55.0%34.4%+20.6 PPABOVE 78%

FORKS16998+71ABOVE 63%

SURPRISE0.000.01-0.01ABOVE 12%