ZOYKUHot Board
GitHub Hot Board · Repo-Archiv

prove2me/prove2me_workspace

prove2me/prove2me_workspace

LeanAktiv gepflegt · Vor 3T gepusht
DokumentationAuf GitHub öffnen
Sterne
100
Forks
40
Issues
9
Tägliche Sterne
—
Tage alt
2d
6-Axis Combat Radar

Combat Limits & Architectural Persona

Compare with other repos ->
Architectural Persona
High-Adoption Ecosystem Core
Substantial fork ratio reflecting heavy downstream adaptation
Combat Score
43
/ 100
7-Day Star Velocity
0
Fork/Star Adoption
40.0%

Kumulierte Sterne

Next Milestone: 500 (400 stars to go)
2026-11-08: 100
Tägliche Sterne
Max: +1 / day

Ähnliche Projekte · gemeinsame Topics

openai/math17.4kleanprover/lean49.9kopenai/navierstokesandeuler2.1kanthropics/fermats-last-theorem1.3k
Maintainer Badge Studio

GitHub README Live-Badge einbetten

Bette dynamische SVG-Badges in deine README ein, um Echtzeit-Rankings und Dokumentationsspiegel zu verlinken.

Vorschau240 x 64 px SVG
GitHub Dark ThemeGitHub Hot Rank - prove2me/prove2me_workspace Dark Preview
GitHub Light ThemeGitHub Hot Rank - prove2me/prove2me_workspace Light Preview
GitHub README <picture> (Auto Dark/Light)
<a href="https://git.zoyku.com/de/repo/prove2me/prove2me_workspace" target="_blank" rel="noopener noreferrer">
  <picture>
    <source media="(prefers-color-scheme: dark)" srcset="https://git.zoyku.com/api/badge/card/prove2me/prove2me_workspace?theme=dark&lang=de" />
    <img alt="GitHub Hot Rank - prove2me/prove2me_workspace" src="https://git.zoyku.com/api/badge/card/prove2me/prove2me_workspace?theme=light&lang=de" height="64" />
  </picture>
</a>