GitHub Hot Board · Hồ sơ kho lưu trữ

leanprover/lean4

Lean 4 programming language and theorem prover

LeanApache-2.0Cập nhật liên tục · Push 0 ngày trước#lean #lean4

Tài liệu kỹ thuậtMở trên GitHub

Star

9.9k

Fork

1.1k

Issue

1.9k

Tăng sao hằng ngày

—

ngày tuổi

6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->

Architectural Persona

Specialized Tactical Vanguard

Distinct edge and dedicated footprint in specialized territory

Combat Score

/ 100

7-Day Star Velocity

Fork/Star Adoption

11.0%

Tổng số sao

Next Milestone: 10k (87 stars to go)+5 (2d)

2026-11-08: 9.9k

Tăng sao hằng ngày

Max: +5 / day

Dự án tương tự · chủ đề chung

openai/math17.4k openai/navierstokesandeuler2.1k anthropics/fermats-last-theorem1.3k prove2me/prove2me_workspace100

Xưởng Huy Hiệu Cho Người Duy Trì

Gắn huy hiệu thời gian thực vào README GitHub

Nhúng huy hiệu SVG động vào README để hiển thị thứ hạng theo thời gian thực và liên kết đến tài liệu.

Xem trước240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/vi/repo/leanprover/lean4" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/leanprover/lean4?theme=dark&lang=vi" />
    <img alt="GitHub Hot Rank - leanprover/lean4" src="https://git.zoyku.com/api/badge/card/leanprover/lean4?theme=light&lang=vi" height="64" />
  </picture>
</a>