ZOYKUHot Board
GitHub Hot Board · Архив репозитория

anthropics/fermats-last-theorem

anthropics/fermats-last-theorem

LeanApache-2.0Регулярная поддержка · Push 45 дн. назад
ДокументацияОткрыть на GitHub
звёзды
1.3k
форки
117
ишью
5
Прирост за день
—
дней онлайн
3d
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
58
/ 100
7-Day Star Velocity
0
Fork/Star Adoption
9.0%

Накопленные звёзды

Next Milestone: 2k (701 stars to go)+1 (3d)
2026-11-09: 1.3k
Прирост за день
Max: +1 / day

Похожие проекты · общие темы

openai/math17.5kleanprover/lean49.9kopenai/navierstokesandeuler2.1kprove2me/prove2me_workspace100
Мастерская значков для мейнтейнеров

Встроить живой значок в README на GitHub

Встраивайте динамические SVG-значки в README, чтобы показывать рейтинг в реальном времени и прямые ссылки на документацию.

Предпросмотр240 x 64 px SVG
GitHub Dark ThemeGitHub Hot Rank - anthropics/fermats-last-theorem Dark Preview
GitHub Light ThemeGitHub Hot Rank - anthropics/fermats-last-theorem Light Preview
GitHub README <picture> (Auto Dark/Light)
<a href="https://git.zoyku.com/ru/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=ru" />
    <img alt="GitHub Hot Rank - anthropics/fermats-last-theorem" src="https://git.zoyku.com/api/badge/card/anthropics/fermats-last-theorem?theme=light&lang=ru" height="64" />
  </picture>
</a>