GitHub Hot Board · Archive du dépôt

anthropics/fermats-last-theorem

LeanApache-2.0Maintenance régulière · Mis à jour il y a 46j

DocumentationOuvrir sur GitHub

stars

1.3k

forks

117

issues

Gain quotidien

—

jours d’existence

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

9.0%

Étoiles cumulées

Next Milestone: 2k (701 stars to go)+1 (3d)

2026-11-09: 1.3k

Gain quotidien

Max: +1 / day

Projets similaires · sujets partagés

openai/math17.5k leanprover/lean49.9k openai/navierstokesandeuler2.1k prove2me/prove2me_workspace100

Studio de Badges pour Mainteneurs

Intégrer le badge direct au README GitHub

Intégrez des badges SVG dynamiques dans votre README pour afficher vos classements en temps réel et votre miroir de documentation.

Aperçu240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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