什么火了
GitHub · Lean / 周榜
| 热搜话题 | 最高排名 | 首次上榜 | 离榜时间 | 在榜时长 | 上榜次数 |
|---|---|---|---|---|---|
01 lean4 Lean 4 programming language and theorem prover | #100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
02 mathlib4 The math library of Lean 4 | #200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
03 hex-dev Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: https://github.com/leanprover/hex | #300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
04 lean4-cli A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments. | #400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
05 batteries The "batteries included" extended library for the Lean programming language and theorem prover | #500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
06 formal-conjectures A collection of formalized statements of conjectures in Lean. | #600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
| #700:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 | |
08 quote4 Intuitive, type-safe expression quotations for Lean 4. | #800:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
09 LeanSearchClient Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services) | #900:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
10 import-graph Tool to analyse the import structure of lean projects. | #1000:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
11 aesop White-box automation for Lean 4 | #1100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
12 ProofWidgets4 Helper toolkit for creating your own Lean 4 UserWidgets | #1200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
13 NNG4 Natural Number Game | #1300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
14 veil A verifier for automated and interactive proofs about transition systems. | #1400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |
15 physlib A project to digitalise results from physics into Lean. | #1500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时22分累计在榜 | 1无重入 |