GitHub Hot Board · Hồ sơ kho lưu trữ

anthropics/fermats-last-theorem

LeanApache-2.0Bảo trì định kỳ · Push 46 ngày trước

Tài liệu kỹ thuậtMở trên GitHub

Star

1.3k

Fork

117

Issue

Tăng sao hằng ngày

—

ngày tuổi

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%

Tổng số sao

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

2026-11-09: 1.3k

Tăng sao hằng ngày

Max: +1 / day

Dự án tương tự · chủ đề chung

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

Xưởng Huy Hiệu Cho Người Duy Trì

Gắn huy hiệu thời gian thực vào README GitHub

Nhúng huy hiệu SVG động vào README để hiển thị thứ hạng theo thời gian thực và liên kết đến tài liệu.

Xem trước240 x 64 px SVG

GitHub Dark Theme

GitHub Light Theme

GitHub README <picture> (Auto Dark/Light)

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