GitHub Trending Rank Radar

← 返回榜单

GitHub

leanprover /lean4

Lean 4 programming language and theorem prover

★ 9,942⑂ 1,101
LeanCreated 2018-04-15lean-lang.org
GitHub ↗
9,942
stars
1,101
forks
–
watchers
–
prs
–
issues
–
releases
–
discussions

Snapshot: 2026-11-10T09:35:25Z · Data license Apache-2.0 · JSON