GitHub Hot Board · Arsip repositori

anthropics/fermats-last-theorem

LeanApache-2.0Dirawat rutin · Push 45 hari lalu

DokumentasiBuka di GitHub

Star

1.3k

Fork

117

Issue

Kenaikan harian

—

hari

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%

Jumlah bintang kumulatif

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

2026-11-09: 1.3k

Kenaikan harian

Max: +1 / day

Proyek serupa · topik bersama

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

Studio Lencana Pengelola

Sematkan Lencana Langsung di README GitHub

Sematkan lencana SVG dinamis ke README Anda untuk menampilkan peringkat waktu nyata dan tautan dokumentasi.

Pratinjau240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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