什么火了
GitHub · Lean / 日榜
HISTORY2026年11月13日7 不同热搜 · 统计中
10/15—11/13 有历史数据
DAILY UNIQUE TOPICS7 条热搜今天 00:00 起累计，每次采集后更新
| 热搜话题 | 最高排名 | 首次上榜 | 离榜时间 | 在榜时长 | 上榜次数 |
|---|---|---|---|---|---|
01 lean4 Lean 4 programming language and theorem prover | #100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |
02 formal-conjectures A collection of formalized statements of conjectures in Lean. | #200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |
03 mathlib4 The math library of Lean 4 | #300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |
04 cslib The Lean Computer Science Library (CSLib) | #400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |
05 proximityprize Machine-checked Reed–Solomon proximity research for the Ethereum Foundation Proximity Prize. | #502:54 达到 | 02:54首次观测上榜 | —结束时仍在榜 | 31分累计在榜 | 1无重入 |
06 ArkLib Formally Verified Arguments of Knowledge in Lean | #500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |
07 EthLib Formally verified Ethereum primitives, written in Lean. | #600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时26分累计在榜 | 1无重入 |