GitHub Hot Board · Archivo del repositorio

prove2me/prove2me_workspace

LeanActivamente mantenido · Push hace 3d

DocumentaciónAbrir en GitHub

Star

100

Fork

Issue

Ganancia diaria

—

días de vida

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

/ 100

7-Day Star Velocity

Fork/Star Adoption

40.0%

Estrellas acumuladas

Next Milestone: 500 (400 stars to go)

2026-11-08: 100

Ganancia diaria

Max: +1 / day

Proyectos similares · temas compartidos

openai/math17.4k leanprover/lean49.9k openai/navierstokesandeuler2.1k anthropics/fermats-last-theorem1.3k

Estudio de Insignias para Mantenedores

Incrustar insignia en vivo en README de GitHub

Incruste insignias SVG dinámicas en su README para reflejar clasificaciones en tiempo real y enlaces a su documentación.

Vista previa240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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