GitHub Hot Board · Архив репозитория

leanprover/lean4

Lean 4 programming language and theorem prover

LeanApache-2.0Активно поддерживается · Push 0 дн. назад#lean #lean4

ДокументацияОткрыть на GitHub

звёзды

9.9k

форки

1.1k

ишью

1.9k

Прирост за день

—

дней онлайн

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%

Накопленные звёзды

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

2026-11-08: 9.9k

Прирост за день

Max: +5 / day

Встроить живой значок в README на GitHub

Встраивайте динамические SVG-значки в README, чтобы показывать рейтинг в реальном времени и прямые ссылки на документацию.

Предпросмотр240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

<a href="https://git.zoyku.com/ru/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=ru" />
    <img alt="GitHub Hot Rank - leanprover/lean4" src="https://git.zoyku.com/api/badge/card/leanprover/lean4?theme=light&lang=ru" height="64" />
  </picture>
</a>

leanprover/lean4

Combat Limits & Architectural Persona

Накопленные звёзды

Похожие проекты · общие темы

Встроить живой значок в README на GitHub