▲РЕПО СЕЙЧАС НЕ В ВЫДАЧЕ НИ ОДНОГО ОКНА. СТРАНИЦА ЖИВЁТ КАК АРХИВНАЯ: НИЖЕ — ЛУЧШИЙ РЕЗУЛЬТАТ ЗА ВСЮ ИСТОРИЮ (ОКНО 1D).
FINDING #2763 · UNIT ID 365697493
leanprover-community/mathlib4
The math library of Lean 4
SURPRISE SCORE
0.00
Архив · репо вне текущей выдачи
BEST RANK
#2763
BEST WINDOW
1D
TIMES CHARTED
1
STARS NOW
3,599
FORKS NOW
1,480
OWNER ★
12,005
FIRST SEEN 2026-07-15 · LAST SEEN 2026-07-15