什么火了
GitHub · Lean / 月榜
| 热搜话题 | 最高排名 | 首次上榜 | 离榜时间 | 在榜时长 | 上榜次数 |
|---|---|---|---|---|---|
| #100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 | |
02 lean4 Lean 4 programming language and theorem prover | #200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
03 mathlib4 The math library of Lean 4 | #300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
04 mathlib3 Lean 3's obsolete mathematical components library: please use mathlib4 | #400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
05 lean4-cli A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments. | #500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
| #600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 | |
07 quote4 Intuitive, type-safe expression quotations for Lean 4. | #700:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
08 aesop White-box automation for Lean 4 | #800:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
09 batteries The "batteries included" extended library for the Lean programming language and theorem prover | #900:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
10 LeanSearchClient Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services) | #1000:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
11 import-graph Tool to analyse the import structure of lean projects. | #1100:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
12 ProofWidgets4 Helper toolkit for creating your own Lean 4 UserWidgets | #1200:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
13 | #1300:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
14 cslib The Lean Computer Science Library (CSLib) | #1400:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
15 formal-conjectures A collection of formalized statements of conjectures in Lean. | #1500:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
16 physlib A project to digitalise results from physics into Lean. | #1600:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |
17 analysis A Lean companion to Analysis I | #1700:00 达到 | 00:00首次采集时已在榜 | —结束时仍在榜 | 3小时24分累计在榜 | 1无重入 |